7080 search results - page 1163 / 1416 » Designing High Integrity Systems Using Aspects |
134
click to vote
STOC
2005
ACM
16 years 4 months ago
2005
ACM
We prove exponential lower bounds for the refutation of a random 3-CNF with linear number of clauses by k-DNF Resolution for k log n/ log log n. For this we design a specially ta...
125
click to vote
ICCAD
2003
IEEE
16 years 25 days ago
2003
IEEE
Recent efforts in adapting computer networks into system-on-chip (SOC), or network-on-chip, present a setback to the traditional computer systems for the lack of effective program...
120
click to vote
EUROSEC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper a new approach to API remoting for GPU virtualisation is described which aims to reduce the amount of trusted code involved in 3D rendering for guest VMs. To achieve...
115
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
– This study examines the processes of organizational knowledge creation in two highly virtualized teams, one involved in the design of a small city car and the second in the re-...
116
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Congestion control for compressed audio is a nontrivial pursuit. Audio perception is highly susceptible to disturbance in temporal quality. We recently proposed and implemented a ...