Sciweavers

3825 search results - page 349 / 765
» The Language of Time: A Reader
Sort
View
SEFM
2006
IEEE
16 years 22 days ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis
ASPLOS
2006
ACM
16 years 21 days ago
Automatic generation of peephole superoptimizers
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at ex...
Sorav Bansal, Alex Aiken
ASPLOS
2006
ACM
16 years 21 days ago
Unbounded page-based transactional memory
Exploiting thread level parallelism is paramount in the multi-core era. Transactions enable programmers to expose such parallelism by greatly simplifying the multi-threaded progra...
Weihaw Chuang, Satish Narayanasamy, Ganesh Venkate...
ADAEUROPE
2005
Springer
16 years 8 days ago
Using the AADL to Describe Distributed Applications from Middleware to Software Components
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
GPCE
2005
Springer
16 years 7 days ago
AOP++: A Generic Aspect-Oriented Programming Framework in C++
Abstract. This paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic pr...
Zhen Yao, Qilong Zheng, Guoliang Chen