4524 search results - page 866 / 905 » The Complexity of Global Constraints |
104
Voted
ICSE
2004
IEEE-ACM
16 years 16 days ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
96
Voted
MOBISYS
2007
ACM
16 years 1 days ago
2007
ACM
We envision a new better-together mobile application paradigm where multiple mobile devices are placed in a close proximity and study a specific together-viewing video application...
97
Voted
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we present COSMOS, a novel architecture for macroprogramming heterogeneous sensor network systems. Macroprogramming entails aggregate system behavior specification...
97
Voted
ICCD
2006
IEEE
15 years 9 months ago
2006
IEEE
— As silicon CMOS devices are scaled down into the nanoscale regime, new challenges at both the device and system level are arising. While some of these challenges will be overco...
99
Voted
EUROGRAPHICS
2010
Eurographics
15 years 8 months ago
2010
Eurographics
When simulating fluids, tetrahedral methods provide flexibility and ease of adaptivity that Cartesian grids find difficult to match. However, this approach has so far been lim...