• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 63
Next 10 →

Communication-driven Automatic Virtual Prototyping for Networked Embedded Systems

by Liyuan Zhang, Joachim Falk, Tobias Schwarzer, Michael Glaß
"... 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

by Emin Gün Sirer, Brian N. Bershad - 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

by Bird Tracking, William P. Bennett, William P., Development, Deployment Of, Mobile Wireless Sensor, William P. Bennett, William P. Bennett, Adviser Mehmet, C. Vuran , 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

by Chien-liang Fok, Chris Gill, Christine Julien, Caitlin Kelleher , 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

by Adrien Six , Maria Encarnita Mariotti-Ferrandiz , Wahiba Chaara , Susana Magadan , Hang-Phuong Pham , Marie-Paule Lefranc , Thierry Mora , Véronique Thomas-Vaslin , Aleksandra M Walczak , Pierre Boudinot , Koji Yasutomo , 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!

by Gal A. Kaminka
"... n Robots (and roboticists) increasingly appear ..."
Abstract - Add to MetaCart
n Robots (and roboticists) increasingly appear

List of Tables...........................

by Catherine Rose, Mills Olschanowsky, Catherine Rose, Mills Olschanowsky , 2011
"... by ..."
Abstract - Add to MetaCart
Abstract not found

Distributed

by Waqaas Munawar, Olaf L, Muhammad Hamad Alizai, Klaus Wehrle, Rwth Aachen
"... 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 ∗

by Serge Abiteboul, Collège De France, Inria Saclay, Ens Cachan, Pierre Senellart, Victor Vianu , 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

by Geeng-wei Lee, Juinn-dar Huang, National Chiao, Chun-yao Wang, Jing-yang Jou, National Chiao Tung
"... 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
Next 10 →
Results 1 - 10 of 63
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University