354 search results - page 65 / 71 » Consistency between Executable and Abstract Processes |
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
The transmission of voice communications as datagram packets over IP networks, commonly known as Voice-overIP (VoIP) telephony, is rapidly gaining wide acceptance. With private ph...
ICS
2007
Tsinghua U.
14 years 4 months ago
2007
Tsinghua U.
Strassen’s matrix multiplication (MM) has benefits with respect to any (highly tuned) implementations of MM because Strassen’s reduces the total number of operations. Strasse...
PLDI
2012
ACM
12 years 12 days ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
HASE
2008
IEEE
14 years 4 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
RECOMB
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. Transcriptional interactions in a cell are modulated by a variety of mechanisms that prevent their representation as pure pairwise interactions between a transcription fa...