Sciweavers

2129 search results - page 215 / 426
» Cutting-Edge Timing Analysis Techniques
Sort
View
METRICS
2005
IEEE
16 years 24 days ago
Visualizing Historical Data Using Spectrographs
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...
Ahmed E. Hassan, Jingwei Wu, Richard C. Holt
SIGSOFT
2004
ACM
16 years 19 days ago
Verifying aspect advice modularly
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
Shriram Krishnamurthi, Kathi Fisler, Michael Green...
ESORICS
2004
Springer
16 years 18 days ago
ARCHERR: Runtime Environment Driven Program Safety
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman,...
ICDAR
2003
IEEE
16 years 15 days ago
Features for Word Spotting in Historical Manuscripts
For the transition from traditional to digital libraries, the large number of handwritten manuscripts that exist pose a great challenge. Easy access to such collections requires a...
Toni M. Rath, R. Manmatha
ICDAR
1999
IEEE
15 years 11 months ago
DjVu: Analyzing and Compressing Scanned Documents for Internet Distribution
DjVu is an image compression technique specifically geared towards the compression of scanned documents in color at high resolution. Typical magazine pages in color scanned at 300...
Patrick Haffner, Léon Bottou, Paul G. Howar...