4872 search results - page 769 / 975 » CBR for Modeling Complex Systems |
171
click to vote
JAIR
2000
15 years 6 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
342
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
216
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
207
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
220
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system tha...