2836 search results - page 387 / 568 » Model Checking for Software Architectures |
182
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...
169
click to vote
MSE
2002
IEEE
15 years 11 months ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
157
click to vote
SPDP
1991
IEEE
15 years 10 months ago
1991
IEEE
A number of experiments regarding the placement of instructions, private data and shared data in the Non-Uniform-Memory-Access multiprocessor, RP3 has been performed. Three Scient...
201
click to vote
HCI
2007
15 years 8 months ago
2007
As a wide variety of interaction devices, modalities has to be supported by user interface developers, model-based user interface development gets increasing attention. Especially ...
165
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...