Sciweavers

4164 search results - page 669 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
LCTRTS
2004
Springer
15 years 12 months ago
Flattening statecharts without explosions
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
Andrzej Wasowski
IDEAS
2003
IEEE
171views Database» more  IDEAS 2003»
15 years 11 months ago
Dynamic Data Management for Location Based Services in Mobile Environments
We characterize the dynamic data management problem for location based services(LBS) in mobile environments and devise a cost model for servicing both location independent and loc...
Shiow-yang Wu, Kun-Ta Wu
INFOCOM
2003
IEEE
15 years 11 months ago
Computing the Types of the Relationships between Autonomous Systems
— We investigate the problem of computing the types of the relationships between Internet Autonomous Systems. We refer to the model introduced in [1], [2] that bases the discover...
Giuseppe Di Battista, Maurizio Patrignani, Maurizi...
ISSS
2002
IEEE
138views Hardware» more  ISSS 2002»
15 years 11 months ago
An Object-Oriented Design Process for System-on-Chip Using UML
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
Tsuneo Nakata, Akio Matsuda, Minoru Shoji, Shinya ...
156
Voted
INFOCOM
1993
IEEE
15 years 10 months ago
Queueing Delays in Rate Controlled ATM Networks
This paper addresses the problem of finding the worst case end-to-end delay and buffer occupancy bounds in ATM networks with rate-controlled, non-work conserving servers. A theore...
Anindo Banerjea, Srinivasan Keshav