4151 search results - page 622 / 831 » Language Driven System Design |
194
Voted
DCC
2011
IEEE
15 years 2 months ago
2011
IEEE
Abstract. A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard ...
173
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Educational media mining is the process of converting raw media data from educational systems to useful information that can be used to design learning systems, answer research qu...
190
Voted
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
313
Voted
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...
204
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
The nature of data in enterprises and on the Internet is changing. Data used to be stored in a database first and queried later. Today timely processing of new data, represented ...