Sciweavers

5726 search results - page 87 / 1146
» Supporting annotations on relations
Sort
View
OOPSLA
1992
Springer
14 years 2 months ago
Concurrency Annotations
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...
Klaus-Peter Löhr
ICECCS
2009
IEEE
119views Hardware» more  ICECCS 2009»
14 years 5 months ago
REMES: A Resource Model for Embedded Systems
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul...
ECML
2006
Springer
14 years 2 months ago
Unsupervised Multiple-Instance Learning for Functional Profiling of Genomic Data
Multiple-instance learning (MIL) is a popular concept among the AI community to support supervised learning applications in situations where only incomplete knowledge is available....
Corneliu Henegar, Karine Clément, Jean-Dani...
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
14 years 3 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller
EICS
2010
ACM
14 years 9 days ago
Exploiting web service annotations in model-based user interface development
In this paper we present a method and the associated tool support able to exploit the content of Web service annotations in model-based user interface design and development. We a...
Fabio Paternò, Carmen Santoro, Lucio Davide...