Sciweavers

1860 search results - page 58 / 372
» tools 2009
Sort
View
EUROPAR
2009
Springer
14 years 10 months ago
Argument Controlled Profiling
Profiling tools relate measurements to code context such as function names in order to guide code optimization. For a more detailed analysis, call path or phase-based profiling enh...
Tilman Küstner, Josef Weidendorfer, Tobias We...
C5
2009
IEEE
15 years 7 months ago
Pitsupai
In this paper we present an authoring tool and an accompanying workflow to create interactive scenarios in a distributed 3D environment by multiple users. With Pitsupai we design...
Philipp Engelhard, Robert Hirschfeld, Jens Lincke
BIRTHDAY
2009
Springer
15 years 1 months ago
Validating and Animating Higher-Order Recursive Functions in B
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
Michael Leuschel, Dominique Cansell, Michael J. Bu...
117
Voted
HCI
2009
14 years 10 months ago
Critical Interaction Analysis in the Flight Deck
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...
Chiara Santamaria Maurizio, Patrizia Marti, Simone...
158
Voted
SIGMOD
2009
ACM
143views Database» more  SIGMOD 2009»
16 years 28 days ago
Data integration in mashups
Mashup is a new application development approach that allows users to aggregate multiple services to create a service for a new purpose. Even if the Mashup approach opens new and ...
Giusy Di Lorenzo, Hakim Hacid, Hye-Young Paik, Bou...