566 search results - page 46 / 114 » Supporting dynamic aspect-oriented features |
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
102
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
We investigate classification of non-linguistic vocalisations with a novel audiovisual approach and Long Short-Term Memory (LSTM) Recurrent Neural Networks as highly successful d...
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— Robots that can interact naturally with humans require the integration and coordination of many different components with heavy computational demands. We argue that an architec...
PPOPP
2006
ACM
15 years 5 months ago
2006
ACM
Processor virtualization via migratable objects is a powerful technique that enables the runtime system to carry out intelligent adaptive optimizations like dynamic resource manag...
118
click to vote
ITSSA
2006
14 years 11 months ago
2006
: This paper investigates the use of the Business Process Execution Language for Web services (BPEL4WS/ BPEL) for managing scientific workflows. The complexity, unpredictability an...