Sciweavers

2913 search results - page 305 / 583
» How Much to Copy
Sort
View
134
Voted
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
15 years 7 months ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska
113
Voted
ECOOP
2006
Springer
15 years 7 months ago
Modeling Runtime Behavior in Framework-Based Applications
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
Nick Mitchell, Gary Sevitsky, Harini Srinivasan
IWMM
2000
Springer
84views Hardware» more  IWMM 2000»
15 years 7 months ago
Designing a Trace Format for Heap Allocation Events
Dynamic storage allocation continues to play an important role in the performance and correctness of systems ranging from user productivity software to high-performance servers. W...
Trishul M. Chilimbi, Richard E. Jones, Benjamin G....
PLDI
1995
ACM
15 years 7 months ago
A Type-Based Compiler for Standard ML
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
Zhong Shao, Andrew W. Appel
HOTDEP
2008
113views Hardware» more  HOTDEP 2008»
15 years 6 months ago
Consistability: Describing Usually Consistent Systems
Current weak consistency semantics provide worst-case guarantees to clients. These guarantees fail to adequately describe systems that provide varying levels of consistency in the...
Amitanand S. Aiyer, Eric Anderson, Xiaozhou Li, Me...