11374 search results - page 389 / 2275 » A System Demonstration of ST-TCP |
163
click to vote
ISSS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents an application-specific, heterogeneous multiprocessor synthesis system, named HeMPS, that combines a form of Evolutionary Computation known as Differential Evo...
170
click to vote
SIGMOD
1998
ACM
15 years 11 months ago
1998
ACM
Database visualization is an area of growing importance as database systems become larger and more accessible. DataSplash is an easy-to-use, integrated environment for navigating,...
168
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
1 Rumor is an optimistically replicated le system designed for use in mobile computers. Rumor uses a peer model that allows opportunistic update propagation among any sites replica...
159
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...
157
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
An important system design task is the partitioning of system functionality for implementation among multiple system components, including partitions among hardware and software c...