Sciweavers

2171 search results - page 300 / 435
» Combining Funnels: A Dynamic Approach to Software Combining
Sort
View
PLDI
2005
ACM
16 years 4 hour ago
Path slicing
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
Ranjit Jhala, Rupak Majumdar
ATAL
2005
Springer
15 years 12 months ago
AgentSteel: an agent-based online system for the planning and observation of steel production
The steel production of the German company Saarstahl AG, a global respected steel manufacturer, represents a Supply Chain which comprehends several time-critical and highly interf...
Sven Jacobi, Cristián Madrigal-Mora, Esteba...
DEXAW
2002
IEEE
96views Database» more  DEXAW 2002»
15 years 11 months ago
Individual Knowledge Management with MailTack
We present our EU-sponsored research in the domain of individual knowledge management and collaborative learning: the MailTack system. MailTack is a stand-alone software tool that...
Marco C. Bettoni, Robert Ottiger, Rolf Todesco, Ku...
ISCA
1999
IEEE
187views Hardware» more  ISCA 1999»
15 years 10 months ago
Area Efficient Architectures for Information Integrity in Cache Memories
Information integrity in cache memories is a fundamental requirement for dependable computing. Conventional architectures for enhancing cache reliability using check codes make it...
Seongwoo Kim, Arun K. Somani
MICCAI
1999
Springer
15 years 10 months ago
Interactive Medical Image Segmentation with United Snakes
Abstract. Snakes have become a standard image analysis technique with several variants now in common use. We have developed a software package called “United Snakes”. It unifi...
Jianming Liang, Tim McInerney, Demetri Terzopoulos