3130 search results - page 528 / 626 » Design Correctness of Digital Systems |
143
Voted
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
One of the reasons why large-scale software development is difficult is the number of dependencies that software engineers need to face: e.g., dependencies among the software comp...
111
Voted
DNA
2008
Springer
15 years 5 months ago
2008
Springer
The prospects of programming molecular systems to perform complex autonomous tasks has motivated research into the design of synthetic biochemical circuits. Of particular interest ...
142
Voted
SIGMOD
2010
ACM
14 years 10 months ago
2010
ACM
Scalable analysis on large data sets has been core to the functions of a number of teams at Facebook - both engineering and nonengineering. Apart from ad hoc analysis of data and ...
141
Voted
MOBISYS
2011
ACM
14 years 6 months ago
2011
ACM
The explosive growth of the mobile application market has made it a significant challenge for the users to find interesting applications in crowded App Stores. To alleviate this...
184
Voted
HPDC
2012
IEEE
13 years 6 months ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...