2670 search results - page 444 / 534 » Modeling systems with internal state using evolino |
160
click to vote
FORTE
2004
15 years 7 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
152
click to vote
COMPUTER
1999
15 years 5 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
161
click to vote
ICIP
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we study the computation error tolerance properties of motion estimation algorithms. We are motivated by two scenarios where hardware systems may introduce computati...
182
click to vote
SASO
2008
IEEE
16 years 15 days ago
2008
IEEE
Truly ubiquitous computing poses new and significant challenges. A huge number of heterogeneous devices will interact to perform complex distributed tasks. One of the key aspects...
171
click to vote
BROADNETS
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...