246 search results - page 22 / 50 » Joinpoint Inference from Behavioral Specification to Impleme... |
IPPS
1998
IEEE
14 years 26 days ago
1998
IEEE
This paper describes PI/OT, a template-based parallel I/O system. In PI/OT, I/O streams have annotations associated with them that are external to the source code. These annotatio...
ICSE
2000
IEEE-ACM
14 years 5 days ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...
ASPDAC
1995
ACM
14 years 5 days ago
1995
ACM
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
CASCON
2006
13 years 10 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...