Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,978,426 papers from all fields of science
Search
Sign In
Create Free Account
Pseudocode
Known as:
Superlanguage
, Pseudocodes
, Pseudo-code
Expand
Pseudocode (rarely known as Program Design Language) is an informal high-level description of the operating principle of a computer program or other…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
APL
Algorithmic state machine
All nearest smaller values
Analysis of algorithms
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
QUBLE: towards blending interactive visual subgraph search queries on large networks
Ho Hoang Hung
,
S. Bhowmick
,
Ba Quan Truong
,
Byron Choi
,
Shuigeng Zhou
The VLDB journal
2014
Corpus ID: 14023660
In a previous paper, we laid out the vision of a novel graph query processing paradigm where instead of processing a visual query…
Expand
2011
2011
A probabilistic definition of item similarity
O. Jojic
,
Manu Shukla
,
Niranjan Bhosarekar
ACM Conference on Recommender Systems
2011
Corpus ID: 17991421
In item-based collaborative filtering, a critical intermediate step to personalized recommendations is the definition of an item…
Expand
2008
2008
LaQuSo software product certification model (LSPCM)
P. Heck
,
M. V. Eekelen
2008
Corpus ID: 19032378
ion (1) A view of an object that focuses on the information relevant to a particular purpose and ignores the remainder of the…
Expand
Review
2007
Review
2007
Automated IT service fault diagnosis based on event correlation techniques
A. Hanemann
2007
Corpus ID: 11658513
In the previous years a paradigm shift in the area of IT service management could be witnessed. IT management does not only deal…
Expand
2006
2006
Efficiently Mining Association Rules from Time Series
Liangxi Qin
,
Zhongzhi Shi
2006
Corpus ID: 13706448
Traditional association rules are mainly concerned about intra-transactional rules. In time series analysis, intra-transactional…
Expand
2005
2005
Transforming Models with ATL 1
F. Jouault
,
I. Kurtev
2005
Corpus ID: 14585066
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and…
Expand
1997
1997
Verification with Abstract State Machines Using MDGs
E. Cerny
,
F. Corella
,
M. Langevin
,
Xiaoyu Song
,
S. Tahar
,
Z. Zhou
Formal Hardware Verification
1997
Corpus ID: 35695426
The presence of uninterpreted symbols in the logic means that we must distinguish between a state machine M and its abstract…
Expand
1996
1996
Capturing functional requirements through object interactions
Daniel A. Rawsthorne
Proceedings of the Second International…
1996
Corpus ID: 36296470
The author introduces transaction based analysis (TBA), an object-oriented analysis methodology that is a blend of use-case…
Expand
1995
1995
Implementation of a bit-serial FFT processor with a hierarchical control structure
J. Melander
,
T. Widhe
,
Peter Sandberg
,
K. Palmkvist
,
M. Vesterbacka
,
L. Wanhammar
1995
Corpus ID: 12432703
A 128-point FFT/IFFT processor has been designed and implemented in a standard CMOS process using the TSPC logic style. The…
Expand
1962
1962
The KDF.9 computer system
A. Haley
AFIPS '62 (Fall)
1962
Corpus ID: 15927368
The English Electric KDF.9 computing system has a number of unusual features whose origins are to be found in certain decisions…
Expand