Sciweavers

1678 search results - page 33 / 336
» An ASM Specification of C
Sort
View
CODES
2004
IEEE
13 years 11 months ago
Tuning SoC platforms for multimedia processing: identifying limits and tradeoffs
We present a analytical framework to identify the tradeoffs and performance impacts associated with different SoC platform configurations in the specific context of implementing m...
Alexander Maxiaguine, Yongxin Zhu, Samarjit Chakra...
NAR
1998
55views more  NAR 1998»
13 years 7 months ago
The orientation and dynamics of the C2'-OH and hydration of RNA and DNA.RNA hybrids
The stereochemical and dynamic properties of the C2′ hydroxyl group in several DNA·RNA hybrids have been measured by NMR and compared with the homologous RNA duplex. The C2′-...
Jeffrey I. Gyi, Andrew N. Lane, Graeme L. Conn, To...
IFIP
2010
Springer
13 years 2 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
ICFP
2008
ACM
14 years 7 months ago
A comparison of c++ concepts and haskell type classes
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Since each language that meets all criteria is...
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zal...
ASAP
2008
IEEE
167views Hardware» more  ASAP 2008»
14 years 2 months ago
Extending the SIMPPL SoC architectural framework to support application-specific architectures on multi-FPGA platforms
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...
David Dickin, Lesley Shannon