5414 search results - page 902 / 1083 » Exploratory Model Building |
147
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
145
Voted
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
130
click to vote
ICS
2010
Tsinghua U.
15 years 8 months ago
2010
Tsinghua U.
We explore the intersection between an emerging class of architectures and a prominent workload: GPGPUs (General-Purpose Graphics Processing Units) and regular expression matching...
105
click to vote
KESAMSTA
2010
Springer
15 years 8 months ago
2010
Springer
The first trial of using the symmetry analysis method in modeling of behavior of complex social system is presented in this work. The evacuation of large building scenarios are d...
122
click to vote
CHI
2009
ACM
15 years 8 months ago
2009
ACM
We build on our prior work with computer-supported teams performing a complex decision-making task on maps, where the distinction between content and process common ground is prop...