648 search results - page 108 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
98
Voted
EMSOFT
2008
Springer
15 years 17 days ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
124
click to vote
KDD
2012
ACM
13 years 1 months ago
2012
ACM
The communities of a social network are sets of vertices with more connections inside the set than outside. We theoretically demonstrate that two commonly observed properties of s...
111
click to vote
CC
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Profiling can effectively analyze program behavior and provide critical information for feedback-directed or dynamic optimizations. Based on memory profiling, reuse dista...
CCS
2010
ACM
14 years 11 months ago
2010
ACM
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...
CGO
2004
IEEE
15 years 2 months ago
2004
IEEE
To meet the high demand for powerful embedded processors, VLIW architectures are increasingly complex (e.g., multiple clusters), and moreover, they now run increasingly sophistica...