1226 search results - page 207 / 246 » Generating Abstractions from Static Domain Analysis |
108
click to vote
TGC
2007
Springer
15 years 6 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
134
Voted
STORYTELLING
2005
Springer
15 years 6 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
122
Voted
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...
109
Voted
KDD
2006
ACM
16 years 1 months ago
2006
ACM
Motivated by numerous applications in which the data may be modeled by a variable subscripted by three or more indices, we develop a tensor-based extension of the matrix CUR decom...
88
Voted
ICPP
1994
IEEE
15 years 4 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...