Sciweavers

2061 search results - page 314 / 413
» Tiling with limited resources
Sort
View
JMLR
2006
117views more  JMLR 2006»
15 years 7 months ago
On the Complexity of Learning Lexicographic Strategies
Fast and frugal heuristics are well studied models of bounded rationality. Psychological research has proposed the take-the-best heuristic as a successful strategy in decision mak...
Michael Schmitt, Laura Martignon
JSS
2006
99views more  JSS 2006»
15 years 7 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya
JSS
2006
99views more  JSS 2006»
15 years 7 months ago
A tunable hybrid memory allocator
Dynamic memory management can make up to 60% of total program execution time. Object oriented languages such as C++ can use 20 times more memory than procedural languages like C. ...
Yusuf Hasan, J. Morris Chang
192
Voted
NETWORK
2008
163views more  NETWORK 2008»
15 years 7 months ago
Admission control for QoS support in heterogeneous 4G wireless networks
Admission control plays a very important role in wireless systems, as it is one of the basic mechanisms for ensuring the quality of service offered to users. Based on the availabl...
Elias Z. Tragos, George Tsiropoulos, George T. Kar...
FMSD
2007
133views more  FMSD 2007»
15 years 7 months ago
Static priority scheduling of event-triggered real-time embedded systems
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
Cagkan Erbas, Andy D. Pimentel, Selin Cerav-Erbas