16616 search results - page 121 / 3324 » Extending Extended Vacuity |
CASES
2003
ACM
15 years 6 months ago
2003
ACM
Software thread integration (STI) is a compilation technique which enables the efficient use of an application’s fine-grain idle time on generic processors without special hardw...
125
Voted
DALT
2003
Springer
15 years 6 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
118
Voted
GPCE
2009
Springer
15 years 5 months ago
2009
Springer
Synchronization is a good candidate for an aspect in aspectoriented programming (AOP) since programmers have to choose the best granularity of synchronization for the underlying h...
123
Voted
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
108
Voted
FPGA
2001
ACM
15 years 5 months ago
2001
ACM
A prototype platform has been developed that allows processing of packets at the edge of a multi-gigabit-per-second network switch. This system, the Field Programmable Port Extend...