Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
63
Communication-driven Automatic Virtual Prototyping for Networked Embedded Systems
"... Abstract—Today, parts of an ESL model can be automatically synthesized to a low-level implementation, e. g., via high-level synthesis. However, to build a complete working virtual prototype directly from a given ESL model, one still has to perform several design steps manually. The work-at-hand tack ..."
Abstract
- Add to MetaCart
these two subsystems will be automatically duplicated into two instances and assigned to each subsystem. Then, synthe-sis tools generate code for each subsystem (including the bridge inside each subsystem). In the last step, the system integration process merges the corresponding bridge pairs together
Using production grammars in software testing
- In Second Conference on Domain Specific Languages
, 1999
"... Extensible typesafe systems, such as Java, rely critically on a large and complex software base for their overall protection and integrity, and are therefore difficult to test and verify. Traditional testing techniques, such as manual test generation and formal verification, are too time consuming, ..."
Abstract
-
Cited by 43 (4 self)
- Add to MetaCart
Extensible typesafe systems, such as Java, rely critically on a large and complex software base for their overall protection and integrity, and are therefore difficult to test and verify. Traditional testing techniques, such as manual test generation and formal verification, are too time consuming
SIMULATION, DEVELOPMENT AND DEPLOYMENT OF MOBILE WIRELESS SENSOR NETWORKS FOR MIGRATORY BIRD TRACKING
, 2012
"... This thesis presents CraneTracker, a multi-modal sensing and communication system for monitoring migratory species at the continental level. By exploiting the robust and extensive cellular infrastructure across the continent, traditional mobile wireless sensor networks can be extended to enable reli ..."
Abstract
- Add to MetaCart
reliable, low-cost monitoring of migratory species. The developed multi-tier architecture yields ecologists with unconventional behavior in-formation not furnished by alternative tracking systems at such a large scale and for a low-cost. The simulation, development and implementation of the Crane
copyright by
, 2009
"... Abstract: Mobile ad hoc networks (MANETs) and wireless sensor networks (WSNs) are two recently-developed technologies that uniquely function without xed infrastructure support, and sense at scales, resolutions, and durations previously not possible. While both offer great potential in many applicati ..."
Abstract
- Add to MetaCart
Abstract: Mobile ad hoc networks (MANETs) and wireless sensor networks (WSNs) are two recently-developed technologies that uniquely function without xed infrastructure support, and sense at scales, resolutions, and durations previously not possible. While both offer great potential in many
The past, present, and future of immune repertoire biology—the rise of next-generation repertoire analysis. Front Immunol 4
, 2013
"... T and B cell repertoires are collections of lymphocytes, each characterized by its antigenspecific receptor. We review here classical technologies and analysis strategies developed to assess immunoglobulin (IG) and T cell receptor (TR) repertoire diversity, and describe recent advances in the field ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
comprehensive description of the mouse T cell receptor alpha (TRA) repertoire during development (21). Although these approaches can be applied to all IG isotypes and TR, they have not been used as much as transcript CDR3 spectratyping due to sensitivity and heterozygosity issues. Next-generation repertoire
Articles I Have a Robot, and I’m Not Afraid to Use It!
"... n Robots (and roboticists) increasingly appear ..."
Distributed
"... Abstract—Wireless Sensor Networks (WSNs) are deployed for long periods of time, during which a need often arises to dynamically reprogram or retask them. An array of solutions has been proposed to this effect, ranging from full image replacement to virtual machines. However, the capabilities of Tiny ..."
Abstract
- Add to MetaCart
OS to allow dynamic exchange of components in WSN applications by conserving their modularity during the compilation process. This generates the possibility of incremental adaptation of sensor nodes ’ behavior through partial code replacement. The designed system does not require any alterations
Author manuscript, published in "WWW (Companion Volume) (2012) 211-214" The ERC Webdam on Foundations of Web Data Management ∗
, 2012
"... The Webdam ERC grant is a five-year project that started in December 2008. The goal is to develop a formal model for Web data management that would open new horizons for the development of the Web in a well-principled way, enhancing its functionality, performance, and reliability. Specifically, the ..."
Abstract
- Add to MetaCart
, the goal is to develop a universally accepted formal framework for describing complex and flexible interacting Web applications featuring notably data exchange, sharing, integration, querying, and updating. We also propose to develop formal foundations that will enable peers to concurrently reason about
Verification of Pin-Accurate Port Connections
"... modules and PCBs detects and diagnoses the exis-tence of physical defects on an interconnect network. Physical defects can cause open, short, and stuck-at faults. Many researchers have developed test sets for detecting and diagnosing these faults in interconnect networks. Using boundary scan or phys ..."
Abstract
- Add to MetaCart
will be integrated in the design. Designers must refine these IP blocks with pin-accurate interfaces. Before verifying the system through simulation, designers connect all necessary IP blocks, either manually or automatically. Either way, incautious EDA tool use, careless man-ual HDL coding, or misunderstanding
Results 1 - 10
of
63
