799 search results - page 91 / 160 » Generating Reliable Code from Hybrid-Systems Models |
FMCO
2008
Springer
13 years 11 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
ANSS
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper describes a secure and reliable method for storing data in a distributed hash table (DHT) leveraging the inherent properties of the DHT to provide a secure storage subs...
ASPLOS
2008
ACM
13 years 12 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
CASCON
1996
13 years 11 months ago
1996
Today's advanced CASE tools, combining the building-block and generative approaches to software reuse, are effective for reuse of software components and procedures in the pr...
KBSE
2002
IEEE
14 years 2 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...