Sciweavers

426 search results - page 50 / 86
» C Annotations
Sort
View
PLDI
1996
ACM
14 years 3 months ago
Fast, Effective Dynamic Compilation
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
Joel Auslander, Matthai Philipose, Craig Chambers,...
ICSE
1993
IEEE-ACM
14 years 3 months ago
A Comprehensive Process Model for Studying Software Process Papers
E cient and e ective studying of scienti c papers is an important part of software engineering education. Moreover, it contributes to the knowledge necessary to carry out software...
Rudolf K. Keller, Richard Lajoie, Nazim H. Madhavj...
ESOP
2006
Springer
14 years 2 months ago
Inference of User-Defined Type Qualifiers and Qualifier Rules
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
Brian Chin, Shane Markstrum, Todd D. Millstein, Je...
LREC
2008
153views Education» more  LREC 2008»
14 years 9 days ago
Coding Emotional Events in Audiovisual Corpora
The modelling of realistic emotional behaviour is needed for various applications in multimodal human-machine interaction such as the design of emotional conversational agents (Ma...
Laurence Devillers, Jean-Claude Martin
NAR
2007
76views more  NAR 2007»
13 years 10 months ago
VectorBase: a home for invertebrate vectors of human pathogens
VectorBase (http://www.vectorbase.org/) is a webaccessible data repository for information about invertebrate vectors of human pathogens. VectorBase annotates and maintains vector...
Daniel Lawson, Peter Arensburger, Peter Atkinson, ...