281 search results - page 38 / 57 » Comparing operational models of name-passing process calculi |
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
100
click to vote
ASYNC
1997
IEEE
15 years 3 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
124
click to vote
JTRES
2009
ACM
15 years 6 months ago
2009
ACM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...
115
click to vote
IWDW
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Many coded digital watermarking systems development requires first the selection of a (uncoded) modulation technique to be part of a coded architecture. Therefore, perfo...
ICMCS
1994
IEEE
15 years 4 months ago
1994
IEEE
Continuous media playback suffers when a station's operating system offers insufficient 1/0 throughput. Conventional 1/0 system structures support a memory-oriented read and ...