99 search results - page 16 / 20 » Validating Constraints with Partial Information: Research Ov... |
ISPD
2004
ACM
14 years 1 months ago
2004
ACM
Automated cell placement is a critical problem in VLSI physical design. New analytical placement methods that simultaneously spread cells and optimize wirelength have recently rec...
DILS
2006
Springer
13 years 11 months ago
2006
Springer
Life science researchers want biological information in their interest to become available to them as soon as possible. A monitoring system is a solution that relieves biologists f...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
TEI
2010
ACM
13 years 7 months ago
2010
ACM
Many installations research efforts today explore how to engage participants with embedded digital content and applications in interactive environments. Yet the interactive design...