Sciweavers

2192 search results - page 139 / 439
» Embedded function composition
Sort
View
150
Voted
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 5 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
SIGMOD
2005
ACM
109views Database» more  SIGMOD 2005»
16 years 4 months ago
Query-Sensitive Embeddings
A common problem in many types of databases is retrieving the most similar matches to a query object. Finding those matches in a large database can be too slow to be practical, es...
Vassilis Athitsos, Marios Hadjieleftheriou, George...
EDBT
2008
ACM
188views Database» more  EDBT 2008»
16 years 4 months ago
FAME-DBMS: Tailor-made Data Management Solutions for Embedded Systems
Data management functionality is not only needed in large-scale server systems, but also in embedded systems. Resource restrictions and heterogeneity of hardware, however, complic...
Marko Rosenmüller, Norbert Siegmund, Horst Sc...
ACIVS
2009
Springer
15 years 11 months ago
Image Categorization Using ESFS: A New Embedded Feature Selection Method Based on SFS
Abstract. Feature subset selection is an important subject when training classifiers in Machine Learning (ML) problems. Too many input features in a ML problem may lead to the so-...
Huanzhang Fu, Zhongzhe Xiao, Emmanuel Dellandr&eac...
155
Voted
FGCN
2008
IEEE
175views Communications» more  FGCN 2008»
15 years 11 months ago
Safeguard Intranet Using Embedded and Distributed Firewall System
Due to the impact of the rapid popularization of Internet and e-commerce, most organizations and enterprises take great effort to protect their information systems against malicio...
Chu-Hsing Lin, Jung-Chun Liu, Chien-Ting Kuo, Mei-...