1943 search results - page 284 / 389 » Ordering Default Theories |
156
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
161
click to vote
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
Guaranteed I/O performance is needed for a variety of applications ranging from real-time data collection to desktop multimedia to large-scale scientific simulations. Reservations...
193
click to vote
FOIKS
2008
Springer
15 years 7 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
181
click to vote
FPGA
2008
ACM
15 years 7 months ago
2008
ACM
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...
170
Voted
CATS
2007
15 years 7 months ago
2007
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...