3971 search results - page 435 / 795 » On the Use of Properties in Java Applications |
242
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
154
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
160
click to vote
ISVD
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider finite sets of oriented spheres in Rk−1 and, by interpreting such spheres as points in Rk , study the Voronoi diagrams they induce for several variants of distance ...
157
click to vote
ICRA
2005
IEEE
16 years 15 days ago
2005
IEEE
— Scan matching is used as a building block in many robotic applications, for localization and simultaneous localization and mapping (SLAM). Although many techniques have been pr...
165
click to vote
ISCAS
2005
IEEE
16 years 14 days ago
2005
IEEE
— A method of embedding a predetermined watermark in an audio signal is described for audio music copyright protection applications. The proposed technique applies the psychoacou...