1701 search results - page 98 / 341 » Computer Science and State Machines |
96
Voted
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes a university-based Forensics Training Center (FTC) established by a Department of Justice grant for the purpose of improving the ability of state and local la...
143
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
150
Voted
COMPGEOM
2009
ACM
15 years 11 months ago
2009
ACM
Following recent work of Clarkson, we translate the coreset framework to the problems of finding the point closest to the origin inside a polytope, finding the shortest distance...
108
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
109
Voted
EXPCS
2007
15 years 8 months ago
2007
In this paper, we present the design of a performance isolation benchmark that quantifies the degree to which a virtualization system limits the impact of a misbehaving virtual ma...