1320 search results - page 192 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
139
click to vote
POPL
2010
ACM
16 years 2 hour ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
121
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
135
click to vote
LPNMR
1993
Springer
15 years 6 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
120
click to vote
ENTCS
2008
15 years 2 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
122
Voted
AC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...