Sciweavers

3745 search results - page 147 / 749
» Sonic: System Description
Sort
View
ICCS
2001
Springer
15 years 11 months ago
GEA: A Complete, Modular System for Generating Evaluative Arguments
This paper presents a system for generating user tailored evaluative arguments, known as the Generator of Evaluative Arguments (GEA). GEA design is based on a pipelined architectur...
Giuseppe Carenini
EPIA
1997
Springer
15 years 10 months ago
An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals
Abstract. A new algorithm for finding the minimal solutions of systems of linear Diophantine equations has recently been published. In its description the emphasis was put on the ...
Ana Paula Tomás, Miguel Filgueiras
EURODAC
1995
IEEE
152views VHDL» more  EURODAC 1995»
15 years 10 months ago
Information model of a compound graph representation for system and architecture level design
In order to extract a suitable common core information model, design representations on both system and architecture levels are analyzed. Following the specification trajectory, ...
Peter Conradi

Book
313views
17 years 4 months ago
A Functional Pattern System for Object-Oriented Design
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...
Thomas Kühne
DSD
2007
IEEE
119views Hardware» more  DSD 2007»
16 years 26 days ago
Online Protocol Testing for FPGA Based Fault Tolerant Systems
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
Jiri Tobola, Zdenek Kotásek, Jan Korenek, T...