3441 search results - page 435 / 689 » Parallel Logic Programming Systems |
154
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
154
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
135
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
As an essential part of in vitro analysis, biological database query has become more and more important in the research process. A few challenges that are specific to bioinformat...
134
Voted
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
121
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Current practice in the design of application software for high-performance embedded computing systems is characterized by long development times, lack of interoperability with ot...