Sciweavers

26151 search results - page 35 / 5231
» Parameterized system design
Sort
View
FMCAD
2008
Springer
13 years 9 months ago
Going with the Flow: Parameterized Verification Using Message Flows
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
Murali Talupur, Mark R. Tuttle
MASCOTS
2001
13 years 9 months ago
Parameterized Mobile Action Generator for a Wireless PCS Network
While there are different research groups in the mobile computing community, most research requires mobile action data in terms of user calling and mobility patterns. Since collec...
Sang-Eon Park, Carla N. Purdy
MONET
2008
127views more  MONET 2008»
13 years 7 months ago
Provisioning of Parameterized Quality of Service in 802.11e Based Wireless Mesh Networks
There has been a growing interest in the use of wireless mesh networks. Today's wireless technology enables very high data rate up to hundreds of Megabits per second, which c...
Xiaowen Chu
CGO
2010
IEEE
14 years 2 months ago
Parameterized tiling revisited
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
Muthu Manikandan Baskaran, Albert Hartono, Sanket ...
SMI
2007
IEEE
106views Image Analysis» more  SMI 2007»
14 years 2 months ago
Iterative Methods for Improving Mesh Parameterizations
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...
Shen Dong, Michael Garland