10916 search results - page 158 / 2184 » On Constructive Connectives and Systems |
225
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
172
click to vote
IS
2008
15 years 6 months ago
2008
Data warehouse modeling is a complex task, which involves knowledge of business processes of the domain of discourse, understanding the structural and behavioral system's con...
153
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- In this paper, we introduce the class of semiseparable kernel functions for use in constructing Lyapunov functions for distributed-parameter systems such as delaydiffere...
174
click to vote
IJMSO
2006
15 years 6 months ago
2006
: Using archetypes is a promising approach in providing semantic interoperability among healthcare systems. To realise archetype based interoperability, the healthcare systems need...
174
click to vote
STOC
2007
ACM
16 years 6 months ago
2007
ACM
We consider the problem of solving a symmetric, positive definite system of linear equations. The most well-known and widely-used method for solving such systems is the preconditi...