13137 search results - page 423 / 2628 » A Science of Software Design |
208
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
178
click to vote
IWSAPF
2000
15 years 10 months ago
2000
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
162
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
148
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
There has been a flurry of recent work on the design of high performance software and hybrid hardware/software transactional memories (STMs and HyTMs). This paper reexamines the ...
164
click to vote
INDOCRYPT
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Feedback with Carry Shift Registers (FCSRs) are a promising alternative to LFSRs in the design of stream ciphers. The previous constructions based on FCSRs were dedicated...