Sciweavers

1050 search results - page 137 / 210
» Generating Executable Scenarios from Natural Language
Sort
View
PPOPP
2009
ACM
16 years 12 days ago
Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...
Muthu Manikandan Baskaran, Nagavijayalakshmi Vydya...
POPL
2009
ACM
16 years 15 days ago
SPEED: precise and efficient static estimation of program computational complexity
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilim...
AMFG
2007
IEEE
251views Biometrics» more  AMFG 2007»
15 years 6 months ago
Human Perambulation as a Self Calibrating Biometric
Abstract. This paper introduces a novel method of single camera gait reconstruction which is independent of the walking direction and of the camera parameters. Recognizing people b...
Michela Goffredo, Nicholas Spencer, Daniel Pearce,...
DSN
2005
IEEE
15 years 5 months ago
Neutralization of Errors and Attacks in Wireless Ad Hoc Networks
This paper proposes and evaluates strategies to build reliable and secure wireless ad hoc networks. Our contribution is based on the notion of inner-circle consistency, where loca...
Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K...
ECAI
2004
Springer
15 years 3 months ago
Configuration of Web Services as Parametric Design
Abstract. The configuration of Web services is particularly hard given the heterogeneous, unreliable and open nature of the Web. Furthermore, such composite Web services are likely...
Annette ten Teije, Frank van Harmelen, Bob J. Wiel...