Sciweavers

11455 search results - page 409 / 2291
» The Rayset and Its Applications
Sort
View

Book
357views
17 years 5 months ago
Foundations of Constraint Satisfaction
"Constraint satisfaction is a general problem in which the goal is to find values for a set of variables that will satisfy a given set of constraints. It is the core of many a...
Edward Tsang
ICPR
2006
IEEE
16 years 8 months ago
DTM Generation from LIDAR Data using Skewness Balancing
LIght Detection And Ranging (LIDAR) data for terrain and land surveying has contributed to many environmental, engineering and civil applications. However, the analysis of Digital...
David C. Mason, Hong Wei, Marc Bartels
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
16 years 3 months ago
Comprehensive frequency-dependent substrate noise analysis using boundary element methods
We present a comprehensive methodology for the electrodynamic modeling of substrate noise coupling. A new and efficient method is introduced for the calculation of the Green'...
Hongmei Li, Jorge Carballido, Harry H. Yu, Vladimi...
SEFM
2009
IEEE
16 years 1 months ago
Implementation Correctness of a Real-Time Operating System
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
AINA
2007
IEEE
16 years 1 months ago
Middleware for Ubiquitous Service-Oriented Spaces on the Web
Web services are todays preferred vehicle for creating service-oriented architectures (SOA). Due to the boom of personal networked devices, the Web also found its way to the mobil...
Geert Vanderhulst, Kris Luyten, Karin Coninx