528 search results - page 58 / 106 » Construction of concrete verification models from C |
IJCNN
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— The optimal model parameters of a kernel machine are typically given by the solution of a convex optimisation problem with a single global optimum. Obtaining the best p...
EURODAC
1994
IEEE
14 years 25 days ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
MOBIHOC
2002
ACM
14 years 8 months ago
2002
ACM
This paper presents a new carrier sensing mechanism called DVCS (Directional Virtual Carrier Sensing) for wireless communication using directional antennas. DVCS does not require ...
TCS
2011
13 years 3 months ago
2011
Boolean networks have long been used as models of molecular networks and play an increasingly important role in systems biology. This paper describes a software package, offered ...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...