2148 search results - page 274 / 430 » From process logic to program logic |
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
ADC
2006
Springer
14 years 2 months ago
2006
Springer
The World Wide Web revolutionized the use of forms in everyday private and business life by allowing a move away from paper forms to easily accessible digital forms. Data captured...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
DATE
1997
IEEE
14 years 12 days ago
1997
IEEE
Behavioral simulation is faster than gate-level logic simulation, however, the simulation speed is too slow for large systems. Simulation specific machines accelerated simulation ...