Sciweavers

1053 search results - page 94 / 211
» On k-Path Covers and their applications
Sort
View
SIGMOD
2003
ACM
127views Database» more  SIGMOD 2003»
14 years 10 months ago
Closing the key loophole in MLS databases
: There has been an abundance of research within the last couple of decades in the area of multilevel secure (MLS) databases. Recent work in this field deals with the processing of...
Nenad Jukic, Svetlozar Nestorov, Susan V. Vrbsky
ICSE
2005
IEEE-ACM
14 years 10 months ago
The Making of a Software Engineer
Software engineering is foremost an engineering discipline. Engineering in general and software engineering specifically has to balance many factors to achieve viable tradeoffs?an ...
Clemens A. Szyperski
ICCAD
2007
IEEE
106views Hardware» more  ICCAD 2007»
14 years 7 months ago
A general model for performance optimization of sequential systems
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
Dmitry Bufistov, Jordi Cortadella, Michael Kishine...
ICCAD
2006
IEEE
104views Hardware» more  ICCAD 2006»
14 years 7 months ago
Fullwave volumetric Maxwell solver using conduction modes
We present a gridless method for solving the interior problem for a set of conductors in an homogeneous dielectric, at sufficiently high frequencies, valid for conductor lengths ...
Salvador Ortiz, Roberto Suaya
LATA
2010
Springer
14 years 5 months ago
Using Sums-of-Products for Non-standard Reasoning
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
Rafael Peñaloza