Sciweavers

2048 search results - page 257 / 410
» Intelligent search techniques for large software systems
Sort
View
FSTTCS
2006
Springer
15 years 10 months ago
Multi-stack Boundary Labeling Problems
The boundary labeling problem was recently introduced in [5] as a response to the problem of labeling dense point sets with large labels. In boundary labeling, we are given a recta...
Michael A. Bekos, Michael Kaufmann, Katerina Potik...
DATE
2002
IEEE
123views Hardware» more  DATE 2002»
15 years 11 months ago
False Path Elimination in Quasi-Static Scheduling
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
G. Arrigoni, L. Duchini, Claudio Passerone, Lucian...
AE
2001
Springer
15 years 11 months ago
Why Biologists and Computer Scientists Should Work Together
This is a time of increasing interdisciplinary research. Computer science is learning more from biology every day, enabling a plethora of new software techniques to flourish. And b...
Peter J. Bentley
VALUETOOLS
2006
ACM
166views Hardware» more  VALUETOOLS 2006»
16 years 13 days ago
Web graph analyzer tool
We present the software tool “Web Graph Analyzer”. This tool is designed to perform a comprehensive analysis of the Web Graph structure. By Web Graph we mean a graph whose ver...
Konstantin Avrachenkov, Danil Nemirovsky, Natalia ...
DRM
2006
Springer
15 years 10 months ago
Securing sensitive content in a view-only file system
One of the most fundamental problems in computer security is protecting sensitive digital information from unauthorized disclosure. There are a number of challenges, such as spywa...
Kevin Borders, Xin Zhao, Atul Prakash