452 search results - page 71 / 91 » Symbolic Execution of Behavioral Requirements |
83
Voted
CCGRID
2005
IEEE
15 years 4 months ago
2005
IEEE
Grid applications require allocating a large number of heterogeneous tasks to distributed resources. A good allocation is critical for efficient execution. However, many existing ...
GECCO
2005
Springer
15 years 4 months ago
2005
Springer
The Army’s push towards developing highly flexible military teams that combine manned and unmanned units requires significant advances in the intelligence of the unmanned units ...
IPPS
2002
IEEE
15 years 3 months ago
2002
IEEE
Traditional real-time software development methodologies require full knowledge of the resource capability of target platforms during the development stage. However, such knowledg...
UML
2001
Springer
15 years 3 months ago
2001
Springer
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require...
86
Voted
MICRO
2000
IEEE
15 years 3 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...