Sciweavers

251 search results - page 41 / 51
» Retrenchment, Refinement, and Simulation
Sort
View
INFOCOM
2003
IEEE
14 years 23 days ago
Responding to Spurious Timeouts in TCP
- Delays on Internet paths, especially including wireless links, can be highly variable. On the other hand, a current trend for modern TCPs is to deploy a fine-grain retransmission...
Andrei Gurtov, Reiner Ludwig
OOPSLA
2009
Springer
14 years 1 days ago
MT-scribe: a tool for recording and inferring model transformations
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
Yu Sun, Jeff Gray, Jules White
SIGSOFT
2000
ACM
13 years 12 months ago
COM revisited: tool-assisted modelling of an architectural framework
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
Daniel Jackson, Kevin J. Sullivan
GMP
2010
IEEE
175views Solid Modeling» more  GMP 2010»
13 years 11 months ago
Optimal Analysis-Aware Parameterization of Computational Domain in Isogeometric Analysis
Abstract. In isogeometric analysis (IGA for short) framework, computational domain is exactly described using the same representation as that employed in the CAD process. For a CAD...
Gang Xu, Bernard Mourrain, Régis Duvigneau,...
ISCAS
1999
IEEE
124views Hardware» more  ISCAS 1999»
13 years 11 months ago
On the robustness of vector set partitioning image coders to bit errors
A vector enhancement of Said and Pearlman's Set Partitioning in Hierarchical Trees (SPIHT) methodology, named VSPIHT, has recently been proposed for embedded wavelet image co...
D. Mukherjee, S. K. Mitra