1524 search results - page 66 / 305 » Operational Semantics of Hybrid Systems |
RTAS
2003
IEEE
15 years 3 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
SYNASC
2005
IEEE
15 years 3 months ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
ACSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
—Smartphones are now ubiquitous. However, the security requirements of these relatively new systems and the applications they support are still being understood. As a result, the...
FAST
2010
15 years 4 days ago
2010
We present Griffin, a hybrid storage device that uses a hard disk drive (HDD) as a write cache for a Solid State Device (SSD). Griffin is motivated by two observations: First, HDD...
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...