416 search results - page 63 / 84 » A Programming Approach to the Design of Asynchronous Logic B... |
147
click to vote
SIGCOMM
2004
ACM
15 years 8 months ago
2004
ACM
We present a Scalable Distributed Information Management System (SDIMS) that aggregates information about large-scale networked systems and that can serve as a basic building bloc...
120
click to vote
EUROSSC
2007
Springer
15 years 9 months ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...
122
click to vote
ENTCS
2008
15 years 3 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
144
click to vote
ASPDAC
2012
ACM
13 years 11 months ago
2012
ACM
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
124
click to vote
INTENV
2010
14 years 10 months ago
2010
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...