Sciweavers

2624 search results - page 32 / 525
» The 2LIP model and its implementations
Sort
View
IPPS
2003
IEEE
14 years 28 days ago
Model Checking a Cache Coherence Protocol for a Java DSM Implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
RECONFIG
2008
IEEE
107views VLSI» more  RECONFIG 2008»
14 years 2 months ago
Fast Implementation of a Bio-inspired Model for Decentralized Gathering
In the context of the emergence of alternative computing resources to address the challenge of the upcoming end of Moore’s law, we consider the feasibility of gathering computat...
Bernard Girau, Cesar Torres-Huitzil
FATES
2006
Springer
13 years 11 months ago
A Symbolic Framework for Model-Based Testing
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
PCM
2004
Springer
112views Multimedia» more  PCM 2004»
14 years 1 months ago
A Study on the Quantization Scheme in H.264/AVC and Its Application to Rate Control
Compared with previous video coding standards, H.264/AVC employs a division-free quantization scheme. The relation between quantization parameter and quantization step changes from...
Siwei Ma, Wen Gao, Debin Zhao, Yan Lu
ICSE
2003
IEEE-ACM
14 years 7 months ago
Pluggable Reflection: Decoupling Meta-Interface and Implementation
Reflection remains a second-class citizen in current programming models, where it's assumed to be imperative and tightly bound to its implementation. In contrast, most object...
David H. Lorenz, John M. Vlissides