2642 search results - page 222 / 529 » Merge-by-Wire: Algorithms and System Support |
148
click to vote
EICS
2010
ACM
15 years 10 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
185
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes design and implementation of L ATM, an ATM (Asynchronous Transfer Mode) based networking server. While ATM emphasizes deterministic highspeed communication, a...
179
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
179
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Structured P2P overlays supporting standard database functionalities are a popular choice for building large-scale distributed data management systems. In such systems, estimating...
199
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— In many decision support applications it is important to guarantee the expressive power, easy formalization and interpretability of Mamdani-type fuzzy inference systems (FIS), ...