Sciweavers

2106 search results - page 151 / 422
» Specifying C concepts
Sort
View
ACSD
2006
IEEE
109views Hardware» more  ACSD 2006»
15 years 6 months ago
Synthesis of Synchronous Interfaces
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
Purandar Bhaduri, S. Ramesh
SPRINGSIM
2008
15 years 6 months ago
In silico white blood cell: mechanisms underlying leukocyte rolling and adhesion during inflammation
We have used the synthetic modeling method to construct a multilevel, agent oriented, in silico analogue of an in vitro experimental system for studying leukocyte rolling, activat...
Jonathan Tang, C. Anthony Hunt
NIPS
2004
15 years 6 months ago
Euclidean Embedding of Co-Occurrence Data
Embedding algorithms search for low dimensional structure in complex data, but most algorithms only handle objects of a single type for which pairwise distances are specified. Thi...
Amir Globerson, Gal Chechik, Fernando C. Pereira, ...
SERP
2004
15 years 6 months ago
Software Specification of MERTIS: Modifiable Extensible Real-Time Interactive Simulation System
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
Frederick C. Harris Jr., Leandro Basallo, Ryan E. ...
IJCAI
2003
15 years 6 months ago
A Maximal Tractable Class of Soft Constraints
Many optimization problems can be expressed us­ ing some form of soft constraints, where different measures of desirability arc associated with differ­ ent combinations of domai...
David A. Cohen, Martin C. Cooper, Peter Jeavons, A...