Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko 0001 |
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Otniel Portillo-Rodríguez, Oscar Osvaldo Sandoval-Gonzalez, Emanuele Ruffaldi, Rosario Leonardi, Carlo Alberto Avizzano, Massimo Bergamasco |
Real-Time Gesture Recognition, Evaluation and Feed-Forward Correction of a Multimodal Tai-Chi Platform. |
HAID |
2008 |
DBLP DOI BibTeX RDF |
real-time 3D time-independent gesture recognition, real-time descriptor, audio-position feedback, Virtual Realty and Skills transfer, Multimodal Interfaces, vibrotactile feedback |
9 | Frederico Pratas, Georgi Gaydadjiev, Mladen Berekovic, Leonel Sousa, Stefanos Kaxiras |
Low power microarchitecture with instruction reuse. |
Conf. Computing Frontiers |
2008 |
DBLP DOI BibTeX RDF |
loop reusing technique, reorder buffer optimization, superscalar processor, power reduction |
9 | Harold S. van Heeringen, Luca Santillo |
Proposals for Increasing Benchmarking Data Quantity and Quality of Projects Measured in COSMIC. |
IWSM/Metrikon/Mensura |
2008 |
DBLP DOI BibTeX RDF |
size conversion, Benchmarking, Functional Size Measurement, COSMIC, ISBSG |
9 | Çigdem Gencel |
How to Use COSMIC Functional Size in Effort Estimation Models?. |
IWSM/Metrikon/Mensura |
2008 |
DBLP DOI BibTeX RDF |
Base Functional Component, Functionality, Effort Estimation, Functional Size Measurement, COSMIC |
9 | Ghaith Hammouri, Kahraman D. Akdemir, Berk Sunar |
Novel PUF-Based Error Detection Methods in Finite State Machines. |
ICISC |
2008 |
DBLP DOI BibTeX RDF |
adversarial-faults, state-machines, PUF, Fault-resilience |
9 | Kok-Leong Chang, Yao Zhu, Bah-Hwee Gwee |
De-synchronization of a point-of-sales digital-logic controller. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Shengying Li, Klaus Mueller 0001, Marcel Jackowski, Donald P. Dione, Lawrence H. Staib |
Physical-Space Refraction-Corrected Transmission Ultrasound Computed Tomography Made Computationally Practical. |
MICCAI (2) |
2008 |
DBLP DOI BibTeX RDF |
Transmission Ultrasound Mammography, GPU Acceleration |
9 | Md. Rezaul Hoque Khan, Roberto Passerone, David Macii |
FZepel: RF-level power consumption measurement (RF-PM) for Zigbee wireless sensor network-towards cross layer optimization. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Hubert P. H. Shum, Taku Komura, Shuntaro Yamazaki |
Simulating interactions of avatars in high dimensional state space. |
SI3D |
2008 |
DBLP DOI BibTeX RDF |
optimal control, human animation |
9 | Yousra Alkabani, Farinaz Koushanfar |
N-variant IC design: methodology and applications. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
N-variant design, digital rights management, physical security |
9 | Juan Jose Cuadrado-Gallego, Luigi Buglione, Ricardo J. Rejas-Muslera, Fernando Machado |
IFPUG-COSMIC Statistical Conversion. |
EUROMICRO-SEAA |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Jia-Ching Wang, Jhing-Fa Wang, Jar-Ferr Yang, Jang-Ting Chen |
A Fast Mode Decision Algorithm and Its VLSI Design for H.264/AVC Intra-Prediction. |
IEEE Trans. Circuits Syst. Video Technol. |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Hervé Jégou, Christine Guillemot |
Entropy Coding With Variable-Length Rewriting Systems. |
IEEE Trans. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Anke Meyer-Bäse, Oliver Lange, Axel Wismüller, Monica K. Hurdal |
Analysis of Dynamic Susceptibility Contrast MRI Time Series Based on Unsupervised Clustering Methods. |
IEEE Trans. Inf. Technol. Biomed. |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Christian Raymond, Frédéric Béchet, Nathalie Camelin, Renato de Mori, Géraldine Damnati |
Sequential Decision Strategies for Machine Interpretation of Speech. |
IEEE Trans. Speech Audio Process. |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Claudio Talarico, Min-Sung Koh, Esteban Rodriguez-Marek |
System Level Performance Assessment of SOC Processors with SystemC. |
ECBS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Ivan Radojevic, Zoran A. Salcic, Partha S. Roop |
McCharts and Multiclock FSMs for modeling large scale systems. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Lihua Duan, Jessica Chen |
Reducing Test Sequence Length Using Invertible Sequences. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
UIO sequence, finite state machine, conformance testing, test sequence |
9 | Jorge Semião, Judit Freijedo, Juan J. Rodríguez-Andina, Fabian Vargas 0001, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001 |
Enhancing the Tolerance to Power-Supply Instability in Digital Circuits. |
ISVLSI |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko 0001 |
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
separability relation, testing nondeterministic FSMs |
9 | Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho |
New Approach for EFSM-Based Passive Testing of Web Services. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
EFSM-based passive testing, Web Services testing |
9 | Vinay Vishwakarma, Chittaranjan A. Mandal, Shamik Sural |
Automatic Detection of Human Fall in Video. |
PReMI |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jun Tanimoto |
Emergence of cooperation supported by communication in a one-shot 2×2 game. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Per Kristian Lehre, Xin Yao 0001 |
Runtime analysis of (1+l) EA on computing unique input output sequences. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Yulai Zhao 0003, Xianfeng Li, Dong Tong 0001, Xu Cheng 0001 |
Reuse Distance Based Cache Leakage Control. |
HiPC |
2007 |
DBLP DOI BibTeX RDF |
Drowsy Cache Technique, Temporal Locality, Reuse Distance |
9 | Songwen Pei, Baifeng Wu, Qiang Yu, Kun Zhu 0005 |
Novel Collaborative Automated Testing Framework Using DDF*. |
CDVE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | San-Yih Hwang, Ee-Peng Lim, Chien-Hsiang Lee, Cheng-Hung Chen |
On Composing a Reliable Composite Web Service: A Study of Dynamic Web Service Selection. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Bei-Bei Yin, Chenggang Bai, Kai-Yuan Cai |
A Data Mining Approach for Software State Definition. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Matti-Antero Okkonen, Vili Kellokumpu, Matti Pietikäinen, Janne Heikkilä |
A Visual System for Hand Gesture Recognition in Human-Computer Interaction. |
SCIA |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Bing-Fei Wu, Chuan-Tsai Lin |
Robust lane detection and tracking for driving assistance systems. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Yousra Alkabani, Farinaz Koushanfar, Miodrag Potkonjak |
Remote activation of ICs for piracy prevention and digital right management. |
ICCAD |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Zhu Liu 0001, David C. Gibbon, Eric Zavesky, Behzad Shahraray, Patrick Haffner |
A Fast, Comprehensive Shot Boundary Determination System. |
ICME |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Liang Bai, Songyang Lao, Gareth J. F. Jones, Alan F. Smeaton |
A Semantic Content Analysis Model for Sports Video Based on Perception Concepts and Finite State Machines. |
ICME |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Zoltán Juhász, Ádám Sipos, Zoltán Porkoláb |
Implementation of a Finite State Machine with Active Libraries in C++. |
GTTSE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | David Obdrzálek, Jan Benda |
GFE - Graphical Finite State Machine Editor for Parallel Execution. |
ICEC |
2007 |
DBLP DOI BibTeX RDF |
automatic finite state machine generation, graphical control design, robot control |
9 | Mario García-Valderas, Raúl Fernández Cardenal, Celia López-Ongil, Marta Portela-García, Luis Entrena |
SET Emulation Under a Quantized Delay Model. |
DFT |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Longchuan Yan, Jun Du, Qingming Huang, Shuqiang Jiang |
Story Unit Segmentation with Friendly Acoustic Perception. |
MCAM |
2007 |
DBLP DOI BibTeX RDF |
Story Unit Segmentation, Acoustic Perception, SVM, Video Processing |
9 | Liang Wang, Yue Qi, Xukun Shen |
The Design and Implementation of VBS. |
Edutainment |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Robert M. Hierons |
Separating sequence overlap for automated test sequence generation. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Separating sequence, Characterizing set, Finite state machine, Overlap, Test sequence generation |
9 | Sobeeh Almukhaizim, Petros Drineas, Yiorgos Makris |
Entropy-driven parity-tree selection for low-overhead concurrent error detection in finite state machines. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Mike Stannett |
Simulation testing of automata. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Simulation, Pi-calculus, CCS, State-based testing, Stream X-machine |
9 | Jessica Chen, Hasan Ural |
Detecting Observability Problems in Distributed Testing. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
distributed test architecture, testing, controllability, Finite state machine, observability |
9 | Martin Lötzsch, Max Risler, Matthias Jüngel |
XABSL - A Pragmatic Approach to Behavior Engineering. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Huei-Wen Ferng, Chien-Liang Liu |
Design of a Joint Defense System for Mobile Ad Hoc Networks. |
VTC Spring |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Ilya Levin, Vladimir Ostrovsky, Osnat Keren, Vladimir Sinelnikov |
Cascade Scheme for Concurrent Errors Detection. |
DSD |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Jaan Raik, Raimund Ubar, Taavi Viilukas |
High-Level Decision Diagram based Fault Models for Targeting FSMs. |
DSD |
2006 |
DBLP DOI BibTeX RDF |
|
9 | G. Perera, Kenneth J. Christensen |
Broadcast Updates with Local Look-up Search (BULLS): a new peer-to-peer protocol. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
BULLS, performance evaluation, peer-to-peer, P2P, protocol design, Gnutella |
9 | Manuel Baclet, Claire Pagetti |
Around Hopcroft's Algorithm. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
Hopcroft’s algorithm, Finite automata, minimization |
9 | Fei Hu 0001, Carter May, Xiaojun Cao |
Data Aggregation in Distributed Sensor Networks: Towards An Adaptive Timing Control. |
ITNG |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Jitian Xiao, Chiou Peng Lam, Huaizhong Li, Jun Wang |
Reformulation of the generation of conformance testing sequences to the asymmetric travelling salesman problem. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
Wp method, TSP, conformance testing, test sequence |
9 | John R. Kender, Milind R. Naphade |
Video News Shot Labeling Refinement via Shot Rhythm Models. |
ICME |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Muzammil Shahbaz |
Incremental Inference of Black-Box Components to Support Integration Testing. |
TAIC PART |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Ke Xu 0014, Oliver Chiu-sing Choy, Cheong-Fat Chan, Kong-Pang Pun |
Power-efficient VLSI implementation of bitstream parsing in H.264/AVC decoder. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Zhenyu Liu, Tughrul Arslan, Ahmet T. Erdogan |
An embedded low power reconfigurable fabric for finite state machine operations. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Hongliang Li 0001, King N. Ngan |
Face segmentation in head-and-shoulder video sequences based on facial saliency map. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Dong Phil Kim, Seok Joo Koh, Sang Wook Kim |
An Integrated Scheme for Intrusion Detection in WLAN. |
ICOIN |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
Improving Gate-Level ATPG by Traversing Concurrent EFSMs. |
VTS |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna |
Post-reboot Equivalence and Compositional Verification of Hardware. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Song Qiu, Wai-yun Li, Jin-gao Liu, Wen-jing Hu |
Design of AC-PDP Signal Processor for SoC Application. |
IIH-MSP |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Ying Huang, Santhosh Kumaran, Jen-Yao Chung |
A model-driven framework for enterprise service management. |
Inf. Syst. E Bus. Manag. |
2005 |
DBLP DOI BibTeX RDF |
Enterprise service management, Web services, Service-oriented architecture, Model-driven architecture |
9 | Roelof K. Brouwer |
Training of a discrete recurrent neural network for sequence classification by using a helper FNN. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
Feed forward network, Derivative free training, Recurrent neural networks, Fit function |
9 | Feng Chen, Xiaotong Yuan, ShuTang Yang |
Joint feature-spatial-measure space: a new approach to highly efficient probabilistic object tracking. |
ICIP (2) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Greg Hoover, Forrest Brewer |
PyPBS design and methodologies. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Alejandro Millán Calderón, Manuel Jesús Bellido Díaz, Jorge Juan-Chico, Paulino Ruiz-de-Clavijo, David Guerrero Martos, Enrique Ostúa, Julian Viejo |
Application of Internode Model to Global Power Consumption Estimation in SCMOS Gates. |
PATMOS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Ali Habibi, Sofiène Tahar |
Design for Verification of SystemC Transaction Level Models. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
9 | |
Development of Embedded Software with Component Integration Based on ABCD Architectures. |
ACIS-ICIS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Pradeep S, Chitra Ramachandran, Srinath Srinivasa |
Towards autonomic web-sites based on learning automata. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
autonomic website, generalization, learning automata |
9 | Giuseppe De Marco, Giovanni Iacovoni |
A Technique to Analyse Session Initiation Protocol Traffic. |
ICPADS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Fahong Li, Robert J. Woodham |
Analysis of Player Actions in Selected Hockey Game Situations. |
CRV |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Yosuke Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara |
Automatic monitor generation from regular expression based specifications for module interface verification. |
ISCAS (4) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Yu-Chiang Li, Jieh-Shan Yeh, Chin-Chen Chang 0001 |
Direct Candidates Generation: A Novel Algorithm for Discovering Complete Share-Frequent Itemsets. |
FSKD (2) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
An EFSM-based approach for functional ATPG. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
ATPG, fault models, EFSM |
9 | Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko 0001 |
An Improved Conformance Testing Method. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Marissa Díaz Pier, Isaac Rudomín Goldberg, Daniel Rivera |
Events, actors and interaction of hybrid entities in virtual reality. |
GRAPHITE |
2005 |
DBLP DOI BibTeX RDF |
VR art, sensing devices, interfaces |
9 | HungPin Chao |
The Non-Specific Intelligent Guided-View System Based on RFID Technology. |
AINA |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Yi Lu 0002, Willi Meier, Serge Vaudenay |
The Conditional Correlation Attack: A Practical Attack on Bluetooth Encryption. |
CRYPTO |
2005 |
DBLP DOI BibTeX RDF |
E0, Stream Ciphers, Bluetooth, Correlation |
9 | Vikram Singh Saun, Preeti Ranjan Panda |
Extracting Exact Finite State Machines from Behavioral SystemC Descriptions. |
VLSI Design |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Ho Young Kim, Tag Gon Kim |
Performance simulation modeling for fast evaluation of pipelined scalar processor by evaluation reuse. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
evaluation reuse, trace-driven simulation, instruction set architecture, compiled simulation, retargetable simulation |
9 | Zoltán Pap, Gyula Csopaki, Sarolta Dibuz |
On the Theory of Patching. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
optimal patch, edit operations, finite state machine, update, edit distance, patching |
9 | Ahmed Helmy, Sandeep Gupta 0001, Deborah Estrin |
The STRESS method for boundary-point performance analysis of end-to-end multicast timer-suppression mechanisms. |
IEEE/ACM Trans. Netw. |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Luca Macchiarulo, Shih-Min Shu, Malgorzata Marek-Sadowska |
Pipelining Sequential Circuits with Wave Steering. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Soonuk Seol, Myungchul Kim 0001, Samuel T. Chanson, Sungwon Kang |
Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle. |
IEEE J. Sel. Areas Commun. |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Marco Bertini 0001, Alberto Del Bimbo, Walter Nunziati |
Highlights modeling and detection in sports videos. |
Pattern Anal. Appl. |
2004 |
DBLP DOI BibTeX RDF |
Highlights detection, Semantic annotation, Sports videos, Visual cues |
9 | B. Ali, A. E. A. Almaini, Tatiana Kalganova |
Evolutionary Algorithms and Theirs Use in the Design of Sequential Logic Circuits. |
Genet. Program. Evolvable Mach. |
2004 |
DBLP DOI BibTeX RDF |
genetic algorithm, sequential circuits, evolvable hardware, state assignment |
9 | Peter Zipf, Claude Stötzler, Manfred Glesner |
A Configurable Pipelined State Machine as a Hybrid ASIC and Configurable Architecture. |
ISVLSI |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Anurag Tiwari, Karen A. Tomko |
Saving Power by Mapping Finite-State Machines into Embedded Memory Blocks in FPGAs. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Maik Boden, Manfred Koegst, José Luis Tiburcio Badía, Steffen Rülke |
Cost-Efficient Implementation of Adaptive Finite State Machines. |
DSD |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Hiroyuki Higuchi, Yusuke Matsunaga |
Enhancing the performance of multi-cycle path analysis in an industrial setting. |
ASP-DAC |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Hue-Min Lin, Chia-Chih Yen, Che-Hua Shih, Jing-Yang Jou |
On compliance test of on-chip bus for SOC. |
ASP-DAC |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Mohsen N. AlSharif, Walter P. Bond, Turky N. Al-Otaiby |
Assessing the complexity of software architecture. |
ACM Southeast Regional Conference |
2004 |
DBLP DOI BibTeX RDF |
Full Function Points, architecture assessment, architecture complexity, software architecture, coupling |
9 | Chang Xu 0001, Shing-Chi Cheung, Xiangye Xiao |
Semantic Interpretation and Matching of Web Services. |
ER |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Asaad Hakeem, Mubarak Shah |
Ontology and Taxonomy Collaborated Framework for Meeting Classification. |
ICPR (4) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Andrzej Krasniewski |
Optimization of Testability of Sequential Circuits Implemented in FPGAs with Embedded Memory. |
FPL |
2004 |
DBLP DOI BibTeX RDF |
|
9 | YuanLin Wen, MuDer Jeng |
Diagnosability of Petri nets. |
SMC (5) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Yun Zhai, Zeeshan Rasheed, Mubarak Shah |
A Framework for Semantic Classification of Scenes Using Finite State Machines. |
CIVR |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Miroslav N. Velev |
Efficient formal verification of pipelined processors with instruction queues. |
ACM Great Lakes Symposium on VLSI |
2004 |
DBLP DOI BibTeX RDF |
logic of equality, positive equality, decomposition, SAT |
9 | Michael Breen |
Statestep: A Tool for Systematic, Incremental Specification. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | N. Venkateswaran 0002, Krishna Bharath |
Frequency Domain Testing of General Purpose Processors at the Instruction Execution Level. |
DELTA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jonathan J. Hoch, Adi Shamir |
Fault Analysis of Stream Ciphers. |
CHES |
2004 |
DBLP DOI BibTeX RDF |
Lili-128, SOBER-t32, Stream cipher, LFSR, fault attack, RC4 |