Sciweavers

7992 search results - page 1380 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
FASE
2008
Springer
15 years 6 months ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt
SERP
2008
15 years 6 months ago
Practically Relevant Quality Criteria for Requirements Documents
Abstract. This paper presents common weaknesses of requirements documents from commercial software projects that frequently cause problems in practice. Many documents contain exten...
Tobias Simon, Jonathan Streit, Markus Pizka
PPSC
1993
15 years 6 months ago
Tools for Heterogeneous Network Computing
Wide area computer networks have become a basic part of today's computing infrastructure. These networks connect a variety of machines, presenting an enormous computing resou...
Adam Beguelin, Jack Dongarra, Al Geist, Robert Man...
ICASSP
2010
IEEE
15 years 4 months ago
Design of sparse filters for channel shortening
Abstract—Channel shortening filters have been used in acoustics to reduce reverberation, in error control decoding to reduce complexity, and in communication systems to reduce i...
Aditya Chopra, Brian L. Evans
ECSA
2010
Springer
15 years 4 months ago
Linking Design Decisions to Design Models in Model-Based Software Development
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
Patrick Könemann, Olaf Zimmermann
« Prev « First page 1380 / 1599 Last » Next »