Sciweavers

12193 search results - page 2256 / 2439
» It's not all about
Sort
View
DILS
2005
Springer
16 years 1 days ago
PLATCOM: Current Status and Plan for the Next Stages
We have been developing a system for comparing multiple genomes, PLATCOM, where users can choose genomes of their choice freely and perform analysis of the selected genomes with a...
Kwangmin Choi, Jeong-Hyeon Choi, Amit Saple, Zhipi...
EMSOFT
2005
Springer
16 years 1 days ago
Compiler-guided register reliability improvement against soft errors
With the scaling of technology, transient errors caused by external particle strikes have become a critical challenge for microprocessor design. As embedded processors are widely ...
Jun Yan, Wei Zhang
ERCIMDL
2005
Springer
109views Education» more  ERCIMDL 2005»
16 years 1 days ago
MedioVis - A User-Centred Library Metadata Browser
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userâ...
Christian Grün, Jens Gerken, Hans-Christian J...
FM
2005
Springer
156views Formal Methods» more  FM 2005»
16 years 1 days ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
ICALP
2005
Springer
16 years 1 days ago
New Approaches for Virtual Private Network Design
Virtual Private Network Design is the following NP-hard problem. We are given a communication network, represented as a weighted graph with thresholds on the nodes which represent...
Friedrich Eisenbrand, Fabrizio Grandoni, Gianpaolo...
« Prev « First page 2256 / 2439 Last » Next »