Sciweavers

12742 search results - page 247 / 2549
» On canonical number systems
Sort
View
ISCAS
2007
IEEE
108views Hardware» more  ISCAS 2007»
16 years 26 days ago
Optimal Synthesis of MITE Translinear Loops
— A procedure for synthesizing multiple-input translinear element (MITE) networks that implement a given system of translinear–loop equations (STLE) is presented. The minimum n...
Shyam Subramanian, David V. Anderson, Paul E. Hasl...
HYBRID
2003
Springer
15 years 11 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
ERCIMDL
2000
Springer
175views Education» more  ERCIMDL 2000»
15 years 10 months ago
MADILIS, the Microsoft Access-Based Digital Library System
The ASU Libraries' staff had considerable experience creating digital library systems to satisfy the needs of a major university library. These systems were designed to be hig...
Scott Herrington, Philip Konomos
CCS
2003
ACM
15 years 11 months ago
Anomaly detection of web-based attacks
Web-based vulnerabilities represent a substantial portion of the security exposures of computer networks. In order to detect known web-based attacks, misuse detection systems are ...
Christopher Krügel, Giovanni Vigna
ICC
2008
IEEE
150views Communications» more  ICC 2008»
16 years 1 months ago
Multi-User Diversity vs. Accurate Channel Feedback for MIMO Broadcast Channels
— A multiple transmit antenna, single receive antenna (per receiver) downlink channel with limited channel feedback is considered. Given a constraint on the total system-wide cha...
Niranjay Ravindran, Nihar Jindal