4966 search results - page 907 / 994 » its 2010 |
146
click to vote
ICDT
2010
ACM
15 years 8 months ago
2010
ACM
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...
201
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
179
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...
171
click to vote
VDA
2010
15 years 8 months ago
2010
Design patterns have proven to be a useful means to make the process of designing, developing, and reusing software systems more efficient. In the area of information visualizatio...
175
click to vote
VDA
2010
15 years 8 months ago
2010
This paper presents the concept of Monotone Boolean Function Visual Analytics (MBFVA) and its application to the medical domain. The medical application is concerned with discover...