10707 search results - page 216 / 2142 » Designing executable abstractions |
153
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...
247
Voted
PADL
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
137
click to vote
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
Abstract. Data stream systems execute a dynamic workload of longrunning and one-time queries, with the streaming inputs typically bounded by sliding windows. For efficiency, window...
109
Voted
ICCAD
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract—On-chip power density and temperature are rising exponentially with decreasing feature sizes. This alarming trend calls for temperature management at every level of syst...
126
Voted
ICCAD
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract – The storage requirements in data-intensive signal processing systems (including applications in video and image processing, artificial vision, medical imaging, real-t...