Sciweavers

852 search results - page 63 / 171
» Understanding How the Requirements Are Implemented in Source...
Sort
View
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 10 months ago
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
Jérôme Hugues, Bechir Zalila, Laurent...
EACL
2003
ACL Anthology
15 years 5 months ago
Domain-transcending mappings in a system for metaphorical reasoning
We illustrate how the use of metaphorical views for reasoning with metaphor requires the mapping of information such as event shape, event rate and mental/emotional states from th...
John A. Barnden, Sheila Glasbey, Mark G. Lee, Alan...
ACSAC
2007
IEEE
15 years 10 months ago
Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
Sherri Sparks, Shawn Embleton, Ryan Cunningham, Cl...
RTAS
2006
IEEE
15 years 10 months ago
Network-Code Machine: Programmable Real-Time Communication Schedules
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
Sebastian Fischmeister, Oleg Sokolsky, Insup Lee
139
Voted
INTEGRATION
2006
82views more  INTEGRATION 2006»
15 years 4 months ago
On whitespace and stability in physical synthesis
In the context of physical synthesis, large-scale standard-cell placement algorithms must facilitate incremental changes to layout, both local and global. In particular, flexible ...
Saurabh N. Adya, Igor L. Markov, Paul G. Villarrub...