Sciweavers

2106 search results - page 251 / 422
» Specifying C concepts
Sort
View
CNSM
2010
14 years 5 months ago
Semantic scheduling of active measurements for meeting network monitoring objectives
Network control and management techniques (e.g., dynamic path switching, on-demand bandwidth provisioning) rely on active measurements of end-to-end network status. These measureme...
Prasad Calyam, Lakshmi Kumarasamy, Füsun &Oum...
TVCG
2011
182views more  TVCG 2011»
14 years 5 months ago
Directing Crowd Simulations Using Navigation Fields
—We present a novel approach to direct and control virtual crowds using navigation fields. Our method guides one or more agents towards desired goals based on guidance fields. ...
Sachin Patil, Jur P. van den Berg, Sean Curtis, Mi...
HOTNETS
2010
14 years 5 months ago
A case for information-bound referencing
Links and content references form the foundation of the way that users interact today. Unfortunately, the links used today (URLs) are fragile since they tightly specify a protocol...
Ashok Anand, Aditya Akella, Vyas Sekar, Srinivasan...
TCOM
2010
63views more  TCOM 2010»
14 years 4 months ago
Efficiently decoded full-rate space-time block codes
Space-time block codes with orthogonal structures typically provide full-diversity reception and simple receiver processing. However, rate-1 orthogonal codes for complex constellat...
Don J. Torrieri, Matthew C. Valenti
PLDI
2011
ACM
14 years 1 months ago
Evaluating value-graph translation validation for LLVM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
Jean-Baptiste Tristan, Paul Govereau, Greg Morrise...