Sciweavers

1532 search results - page 155 / 307
» Functional density synchronization
Sort
View
FMICS
2006
Springer
15 years 1 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
JFP
2010
142views more  JFP 2010»
14 years 8 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
ICFP
2005
ACM
15 years 10 months ago
AtomCaml: first-class atomicity via rollback
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
Michael F. Ringenburg, Dan Grossman
CVPR
2005
IEEE
16 years 4 days ago
Shock Filters Based on Implicit Cluster Separation
One of the classic problems in low level vision is image restoration. An important contribution toward this effort has been the development of shock filters by Osher and Rudin [1]...
Vinay P. Namboodiri, Subhasis Chaudhuri
CVPR
2006
IEEE
16 years 4 days ago
3D People Tracking with Gaussian Process Dynamical Models
We advocate the use of Gaussian Process Dynamical Models (GPDMs) for learning human pose and motion priors for 3D people tracking. A GPDM provides a lowdimensional embedding of hu...
Raquel Urtasun, David J. Fleet, Pascal Fua