2493 search results - page 225 / 499 » Tool Support for Design by Contract |
257
click to vote
VRML
2003
ACM
15 years 12 months ago
2003
ACM
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...
251
click to vote
ASPDAC
2011
ACM
14 years 10 months ago
2011
ACM
3-D monolithic integration (3DMI), also termed as sequential integration, is a potential technology for future gigascale circuits. Since the device layers are processed in sequent...
154
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Clone-based microarrays, on which each spot represents a random genomic fragment, are a good alternative to open reading frame-based microarrays, especially for microo...
175
click to vote
HASE
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents a scalable, adaptive and timebounded general approach to assure reliable, real-time Node-Failure Detection (NFD) for large-scale, high load networks comprised ...
209
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
In order to support interactive high-fidelity prototyping of postWIMP user interactions, we propose a multi-fidelity design method based on a unifying component-based model and su...