481 search results - page 43 / 97 » Executing Higher Order Logic |
JSW
2007
13 years 9 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
FPL
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Data dependent circuits are logic circuits specialized to specific input data. They are smaller and faster than the original circuits, although they are not reusable and...
ASPLOS
2011
ACM
13 years 1 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
CIMCA
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes a Rule Based Service Level Agreement language called RBSLA which is based on RuleML. With this language SLAs can be implemented in a machine readable syntax w...
IEEEPACT
2007
IEEE
14 years 4 months ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...