2225 search results - page 406 / 445 » Logical Structures in the Lexicon |
141
Voted
TSE
2010
14 years 10 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
163
Voted
CIDR
2011
14 years 7 months ago
2011
We propose a new type of database system coined OctopusDB. Our approach suggests a unified, one size fits all data processing architecture for OLTP, OLAP, streaming systems, and...
121
Voted
EXPERT
2011
14 years 6 months ago
2011
—With the rapid development of the electricity market, both grid and market operations need to be carefully coordinated and monitored in real time. This paper focuses on system m...
212
Voted
ICAIL
2011
ACM
14 years 3 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
151
Voted
ISPD
2012
ACM
13 years 11 months ago
2012
ACM
There are two prominent problems with technology scaling: increasing design complexity and more challenges with interconnect design, including routability. High-level synthesis ha...