Sciweavers

8780 search results - page 145 / 1756
» On the Feasibility of Consistent Computations
Sort
View
ICCD
1997
IEEE
78views Hardware» more  ICCD 1997»
15 years 11 months ago
A new Approach for Initialization Sequences Computation for Synchronous Sequential Circuits
This paper presents a new approach to the automated generation of an initialization sequence for synchronous sequential circuits. Finding an initialization sequence is a hard task...
Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo,...
ICAISC
2010
Springer
15 years 9 months ago
Computer Assisted Peptide Design and Optimization with Topology Preserving Neural Networks
Abstract. We propose a non-standard neural network called TPNN which offers the direct mapping from a peptide sequence to a property of interest in order to model the quantitative ...
Jörg D. Wichard, Sebastian Bandholtz, Carsten...
MC
2008
122views Computer Science» more  MC 2008»
15 years 8 months ago
Interaction Techniques for Case Selection in Medical Computer Based Training Systems
The vast majority of medical computer-based training (CBT) systems aim at problem-oriented case based training. A crucial issue in the design of CBT systems is the selection of ap...
Ragnar Bade, Jeanette Cordes, Maik Mewes, Bernhard...
WCET
2008
15 years 8 months ago
Computing time as a program variable: a way around infeasible paths
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...
Niklas Holsti
ITSSA
2006
90views more  ITSSA 2006»
15 years 7 months ago
The UbiMedic Framework to Support Medical Emergencies by Ubiquitous Computing
: This paper investigates the feasibility of employing the Software Agent technology in the highly dynamic and variable context of healthcare emergency coordination and decision-su...
Francesco De Mola, Giacomo Cabri, Nicola Muratori,...