1342 search results - page 97 / 269 » Ordered Programs as Abductive Systems |
SBCCI
2004
ACM
14 years 3 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
ICCD
2004
IEEE
14 years 6 months ago
2004
IEEE
Three dimensional vertically integrated systems allow active devices to be placed on multiple device layers. In recent years, a number of research efforts have addressed physical ...
EMSOFT
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
PCM
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a new computer-based teleconference system. In order to build the system, we modified VNC(Virtual Network Computing) program and implemented Face mouse system....
SAC
2009
ACM
14 years 4 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...