2859 search results - page 480 / 572 » A Programming Environment for Bousi-Prolog |
128
click to vote
ICCAD
1995
IEEE
15 years 8 months ago
1995
IEEE
Abstract -- Telecommunication network management applications often require application-specific ICs that use large dynamically allocated stored data structures. Currently availab...
126
click to vote
ICSE
1995
IEEE-ACM
15 years 8 months ago
1995
IEEE-ACM
Many would argue that future breakthroughs in software productivity will dependon our ability to combine existing pieces of software to produce new applications. An important step...
118
click to vote
DBPL
1991
Springer
15 years 8 months ago
1991
Springer
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...
145
click to vote
REX
1991
15 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
165
click to vote
CNHPCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Branch Prediction is a common function in nowadays microprocessor. Branch predictor is duplicated into multiple copies in each core of a multicore and many-core processor...