Sciweavers

2204 search results - page 34 / 441
» Analyzing architectural styles
Sort
View
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
15 years 7 months ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
CRIWG
2006
15 years 2 months ago
Analyzing the Roles of PDA in Meeting Scenarios
This paper proposes a conceptual model standardizing the meeting information structures underlying several scenarios o PDA use in meetings. The paper characterizes the memory and p...
Gustavo Zurita, Pedro Antunes, Luís Carri&c...
ASPLOS
2004
ACM
15 years 7 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
INFOCOM
2010
IEEE
15 years 12 hour ago
Analyzing Nonblocking Switching Networks using Linear Programming (Duality)
Abstract—The main task in analyzing a switching network design (including circuit-, multirate-, and photonic-switching) is to determine the minimum number of some switching compo...
Hung Q. Ngo, Atri Rudra, Anh N. Le, Thanh-Nhan Ngu...
SIGMOD
2010
ACM
221views Database» more  SIGMOD 2010»
15 years 1 months ago
Analyzing the energy efficiency of a database server
Rising energy costs in large data centers are driving an agenda for energy-efficient computing. In this paper, we focus on the role of database software in affecting, and, ultimat...
Dimitris Tsirogiannis, Stavros Harizopoulos, Mehul...