2500 search results - page 194 / 500 » Specifying Behavior in C |
112
Voted
SODA
2003
ACM
15 years 5 months ago
2003
ACM
With random inputs, certain decision problems undergo a “phase transition”. We prove similar behavior in an optimization context. Given a conjunctive normal form (CNF) formula...
120
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The nature of computer networks and the manner in which network services are provided are changing dramatically. Network architectures that employ virtual mobile agents to provide...
132
Voted
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
124
Voted
LCN
2003
IEEE
15 years 9 months ago
2003
IEEE
Network processors offer a new flexibility for network applications and reduce the time to market for data processing systems. In this paper, we describe the changed development p...
102
click to vote
SIGMETRICS
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, we present a comprehensive analysis of real smartphone usage during a 6-month study of real user activity on the Android G1 smartphone. Our goal is to study the hig...