Sciweavers

26151 search results - page 27 / 5231
» Parameterized system design
Sort
View
DAGSTUHL
2006
13 years 9 months ago
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be...
Margarita V. Korovina, Nicolai Vorobjov
FPL
2001
Springer
87views Hardware» more  FPL 2001»
14 years 6 days ago
Parameterized Function Evaluation for FPGAs
This paper presents parameterized module-generators for pipelined function evaluation using lookup tables, adders, shifters and multipliers. We discuss trade-offs involved between...
Oskar Mencer, Nicolas Boullis, Wayne Luk, Henry St...
ACID
2006
264views Algorithms» more  ACID 2006»
13 years 9 months ago
A Parameterized View on Matroid Optimization Problems
Matroid theory gives us powerful techniques for understanding combinatorial optimization problems and for designing polynomial-time algorithms. However, several natural matroid pr...
Dániel Marx
FASE
2004
Springer
14 years 1 months ago
Modeling Role-Based Access Control Using Parameterized UML Models
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na ...
MICCAI
2005
Springer
14 years 8 months ago
Anatomically Constrained Surface Parameterization for Cortical Localization
Abstract. We present here a method that aims at defining a surfacebased coordinate system on the cortical surface. Such a system is needed for both cortical localization and inters...
Cédric Clouchoux, Olivier Coulon, Denis Riv...