3779 search results - page 201 / 756 » Linear Consistency Testing |
139
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Synthetic Floating-Point (SFP), a synthetic benchmark generator program for floating-point circuits is presented. SFP consists of two independent modules for characterisation and...
149
click to vote
DBPL
2007
Springer
16 years 20 days ago
2007
Springer
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
168
click to vote
TLCA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
171
click to vote
IAT
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, we propose a novel approach to solving the distributed constraint optimisation problem (DCOP) that guarantees completeness, while having linear communication comple...
115
click to vote
ISCAS
2006
IEEE
16 years 16 days ago
2006
IEEE
— This paper focuses on the suboptimal regulation of multivariable discrete-time bilinear systems consisting of interconnected bilinear subsystems with respect to a linear quadra...