9110 search results - page 495 / 1822 » Formally-Based Design Evaluation |
179
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
As the size and complexity of VLSI circuits increase, the need for faster floorplanning algorithms also grows. In this work we introduce Traffic, a new method for creating wire- a...
155
Voted
VR
2009
IEEE
16 years 1 months ago
2009
IEEE
Designing low end-to-end latency system architectures for virtual reality is still an open and challenging problem. We describe the design, implementation and evaluation of a clie...
167
click to vote
HUC
2007
Springer
16 years 1 months ago
2007
Springer
We describe the design of privacy controls and feedback mechanisms for contextual IM, an instant messaging service for disclosing contextual information. We tested our designs on I...
189
click to vote
IPPS
2005
IEEE
16 years 14 days ago
2005
IEEE
Embedded designers now have the capability of offloading software routines into custom applicationspecific hardware blocks. This paper evaluates a domain-specific design system fo...
165
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...