1690 search results - page 53 / 338 » Algorithmic Properties of Millstream Systems |
148
click to vote
CSCWD
2001
Springer
15 years 8 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
205
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
169
click to vote
AB
2007
Springer
15 years 10 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
142
click to vote
SIPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...
129
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Heteregenous multiprocessor SoCs are becoming a reality, largely due to the abundance of transistors, intellectual property cores and powerful design tools. In this project, we ex...