3828 search results - page 730 / 766 » Proof-Based System Engineering Using a Virtual System Model |
EUROSYS
2007
ACM
14 years 6 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
ISORC
2009
IEEE
14 years 3 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
CODES
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...
EUROMICRO
2006
IEEE
14 years 3 months ago
2006
IEEE
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
DEXA
2004
Springer
14 years 2 months ago
2004
Springer
A lot of work has been done on extracting the model of web user behavior. Most of them target server-side logs that cannot track user behavior outside of the server. Recently, a no...