3415 search results - page 197 / 683 » Physical Design Refinement: The |
171
click to vote
ENTCS
2006
15 years 6 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
226
click to vote
ENTCS
2006
15 years 6 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
139
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Extended Abstract: Supporting Design Studio Culture in HCI The workshop considers the needs and possibilities for integrating design studio culture within the research, education,...
175
click to vote
SOSE
2006
IEEE
16 years 17 days ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
177
click to vote
CODES
2005
IEEE
16 years 5 days ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...