Sciweavers

7519 search results - page 256 / 1504
» Optimizing Generic Functions
Sort
View
SAS
2007
Springer
125views Formal Methods» more  SAS 2007»
16 years 20 days ago
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...
SAINT
2006
IEEE
16 years 16 days ago
Fair Overload Handling Using Proof-of-Work Functions
Overload can reduce the overall performance of a computer system up to a point where the whole service might collapse. Thus, for example the load on a server must be controlled to...
Sebastian Golze, Gero Mühl
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 11 months ago
Stabilization of networked control systems via non-monotone control ^lyapunov functions
— This paper deals with stabilization of networked control systems (NCS) affected by uncertain time-varying delays and data packet dropouts. We point out that such network effect...
Rob H. Gielen, Mircea Lazar
FOCS
1999
IEEE
15 years 11 months ago
Limits on the Efficiency of One-Way Permutation-Based Hash Functions
Naor and Yung show that a one-bit-compressing universal one-way hash function (UOWHF) can be constructed based on a one-way permutation. This construction can be iterated to build...
Jeong Han Kim, Daniel R. Simon, Prasad Tetali
POPL
1994
ACM
15 years 10 months ago
Reducing Indirect Function call Overhead in C++ Programs
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...
Brad Calder, Dirk Grunwald