Sciweavers

6381 search results - page 87 / 1277
» Alternative Implementation of the C
Sort
View
IFIP
2010
Springer
14 years 10 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...
VLSI
2010
Springer
14 years 10 months ago
SESAM extension for fast MPSoC architectural exploration and dynamic streaming applications
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
Nicolas Ventroux, Tanguy Sassolas, Raphael David, ...
DATE
2009
IEEE
176views Hardware» more  DATE 2009»
15 years 10 months ago
Automated synthesis of streaming C applications to process networks in hardware
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...
Sven van Haastregt, Bart Kienhuis
SOSE
2008
IEEE
15 years 10 months ago
A Sustainable Service-Oriented B2C Framework for Small Businesses
Electronic commerce is fast expanding all over the world. Currently most B2C (Business to Customer) electronic commerce focuses on retailing and other online services, such as onl...
Xiaodong Liu, Hailiang Ye
IPPS
2007
IEEE
15 years 10 months ago
iC2mpi: A Platform for Parallel Execution of Graph-Structured Iterative Computations
Parallelization of sequential programs is often daunting because of the substantial development cost involved. Various solutions have been proposed to address this concern, includ...
Harnish Botadra, Qiong Cheng, Sushil K. Prasad, Er...