Sciweavers

4212 search results - page 593 / 843
» Rights Expression Languages
Sort
View
PLDI
2003
ACM
15 years 11 months ago
Points-to analysis using BDDs
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
Marc Berndl, Ondrej Lhoták, Feng Qian, Laur...
PROPOR
2010
Springer
142views Languages» more  PROPOR 2010»
15 years 11 months ago
Voice Quality of European Portuguese Emotional Speech
An acoustic analysis was conducted to investigate parameters related to Voice Quality in European Portuguese (EP) speech conveying several emotions. Our main objectives were: to o...
Ana Nunes, Rosa Lídia Coimbra, Antón...
SIGMOD
2010
ACM
170views Database» more  SIGMOD 2010»
15 years 11 months ago
Querying data provenance
Many advanced data management operations (e.g., incremental maintenance, trust assessment, debugging schema mappings, keyword search over databases, or query answering in probabil...
Grigoris Karvounarakis, Zachary G. Ives, Val Tanne...
MPC
2010
Springer
152views Mathematics» more  MPC 2010»
15 years 11 months ago
Lucy-n: a n-Synchronous Extension of Lustre
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
Louis Mandel, Florence Plateau, Marc Pouzet
IWMM
1998
Springer
130views Hardware» more  IWMM 1998»
15 years 10 months ago
Comparing Mostly-Copying and Mark-Sweep Conservative Collection
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...
Frederick Smith, J. Gregory Morrisett