2850 search results - page 62 / 570 » On Timed Models and Full Abstraction |
107
click to vote
TC
2008
15 years 6 months ago
2008
Abstract-- A radix-2 digit-recurrence algorithm and architecture for the computation of the cube root are presented in this paper. The original recurrence based on the concept of c...
157
click to vote
POPL
2009
ACM
16 years 29 days ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
187
Voted
BMCBI
2011
15 years 1 months ago
2011
Background: Many practical tasks in biomedicine require accessing specific types of information in scientific literature; e.g. information about the results or conclusions of the ...
132
click to vote
IEEESP
2006
15 years 6 months ago
2006
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
163
Voted
TITB
2008
15 years 6 months ago
2008
Medical image interpretation is facing an important challenge resulting from the continuously increasing amount of imaging data. Innovations in medical image visualization are nece...