Sciweavers

10718 search results - page 279 / 2144
» On the Circuit Implementation Problem
Sort
View
ASWEC
2004
IEEE
15 years 10 months ago
ASPIRE: Automated Systematic Protocol Implementation Robustness Evaluation
Network protocol implementations are susceptible to problems caused by their lack of ability to handle invalid inputs. We present ASPIRE: Automated Systematic Protocol Implementat...
Arunchandar Vasan, Atif M. Memon
PVM
2004
Springer
15 years 12 months ago
Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation
Abstract. A large number of MPI implementations are currently available, each of which emphasize different aspects of high-performance computing or are intended to solve a speciļ¬...
Edgar Gabriel, Graham E. Fagg, George Bosilca, Tha...
AIR
2010
96views more  AIR 2010»
15 years 6 months ago
Logic programming for combinatorial problems
Combinatorial problems appear in many areas in science, engineering, biomedicine, business, and operations research. This article presents a new intelligent computing approach for...
Toshinori Munakata, Roman Barták
HICSS
2002
IEEE
130views Biometrics» more  HICSS 2002»
15 years 11 months ago
Designing Complex Software Implementation Programs
The central question of this paper is: How can design of Program Management contribute to the success of complex software implementations? Incomplete goal specifications, lack of ...
Pieter M. A. Ribbers, Klaus-Clemens Schoo
TC
2008
15 years 6 months ago
Implementing Synchronous Models on Loosely Time Triggered Architectures
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
Stavros Tripakis, Claudio Pinello, Albert Benvenis...