Search results for "Generators"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Eike Best, Philippe Darondeau	Decomposition Theorems for Bounded Persistent Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
12	Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Automata and Recursion Schemes.	LICS	2008	DBLP DOI BibTeX RDF	Higher-order pushdown automata, game semantics, higher-order recursion schemes
12	Jonathan P. Rowe, Eunyoung Ha, James C. Lester	Archetype-Driven Character Dialogue Generation for Interactive Narrative.	IVA	2008	DBLP DOI BibTeX RDF	Agents in narrative
12	Marcin Gomulkiewicz, Miroslaw Kutylowski, Pawel Wlaz	Random Fault Attack against Shrinking Generator.	ALGOSENSORS	2008	DBLP DOI BibTeX RDF
12	Mats Carlsson, Nicolas Beldiceanu, Julien Martin	A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules.	CP	2008	DBLP DOI BibTeX RDF
12	Stanley Tzeng, Li-Yi Wei	Parallel white noise generation on a GPU via cryptographic hash.	SI3D	2008	DBLP DOI BibTeX RDF	GPU techniques, parallel computation, texturing, noise, random number generation
12	Man Xiao, Mohamed El-Attar 0001, Marek Z. Reformat, James Miller 0001	Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Empirical results, Empirical software engineering, Test-data generation, Optimization techniques
12	M. Todd, Stephen D. J. McArthur, James R. McDonald, S. J. Shaw	A Semiautomatic Approach to Deriving Turbine Generator Diagnostic Knowledge.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
12	Ying Jiang, Guo-Qiang Zhang 0001	Weakly distributive domains (II).	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	weakly distributive domain, stable bifinite domain, meet-cpo, stable function, cartesian closed category
12	Pau Gargallo, Emmanuel Prados, Peter F. Sturm	Minimizing the Reprojection Error in Surface Reconstruction from Images.	ICCV	2007	DBLP DOI BibTeX RDF
12	Rocío González-Díaz, María José Jiménez 0001, Belén Medrano, Pedro Real 0001	Extending the Notion of AT-Model for Integer Homology Computation.	GbRPR	2007	DBLP DOI BibTeX RDF
12	Praveen Raghavan, Nandhavel Sethubalasubramanian, Satyakiran Munaga, Estela Rey Ramos, Murali Jayapala, Oliver Weiss, Francky Catthoor, Diederik Verkest	Semi Custom Design: A Case Study on SIMD Shufflers.	PATMOS	2007	DBLP DOI BibTeX RDF
12	Minglan Lin, Anurag K. Srivastava 0001, Noel N. Schulz	Modeling considerations in static and dynamic voltage stability studies of shipboard power systems.	SCSC	2007	DBLP BibTeX RDF	PSCAD, numerical integration method, voltage stability, static analysis, dynamic analysis
12	Bhautik J. Joshi, Andriy Fedorov, Nikos Chrisochoides, Simon K. Warfield, Sébastien Ourselin	Application-Driven Quantitative Assessment of Approaches to Mesh Generation.	ISBI	2007	DBLP DOI BibTeX RDF
12	Ying Jiang, Guo-Qiang Zhang 0001	Weakly Distributive Domains.	TLCA	2007	DBLP DOI BibTeX RDF
12	Guilan Zhi, Shigeyoshi Watanabe	Comparison of discriminatory pricing and uniform pricing rules in electricity markets using an agent model with risk consideration.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
12	Jinyan Li 0001, Guimei Liu, Limsoon Wong	Mining statistically important equivalence classes and delta-discriminative emerging patterns.	KDD	2007	DBLP DOI BibTeX RDF	itemsets with ranked statistical merit, equivalence classes
12	Bran Selic	Challenges in generating qos-constrained software implementations.	GPCE	2007	DBLP DOI BibTeX RDF	model-driven development
12	Zhimin Yuan, Zhiguo Zhang	Asynchronous Spiking Neural P System with Promoters.	APPT	2007	DBLP DOI BibTeX RDF	Asynchronous P System, Parallel Computing, Membrane Computing, Molecular Computing, P System, Turing Complete
12	Tarek Hamrouni, Petko Valtchev, Sadok Ben Yahia, Engelbert Mephu Nguifo	About the Lossless Reduction of the Minimal Generator Family of a Context.	ICFCA	2007	DBLP DOI BibTeX RDF
12	Zhengjun Cao, Lihua Liu	A Strong RSA Signature Scheme and Its Application.	SNPD (1)	2007	DBLP DOI BibTeX RDF
12	Micha Feigin, Nir A. Sochen, Baba C. Vemuri	Anisotropic alpha -Kernels and Associated Flows.	SSVM	2007	DBLP DOI BibTeX RDF
12	Candelaria Hernández-Goya, Amparo Fúster-Sabater	Balancedness in Binary Sequences with Cryptographic Applications.	PPAM	2007	DBLP DOI BibTeX RDF	Cryptography, stream ciphers, binary sequences, Balancedness
12	Fabio Pareschi, Riccardo Rovatti, Gianluca Setti	Second-level NIST Randomness Tests for Improving Test Reliability.	ISCAS	2007	DBLP DOI BibTeX RDF
12	Tommaso Addabbo, Massimo Alioto, Ada Fort, Santina Rocchi, Valerio Vignoli	Maximum-Period PRNGs Derived From A Piecewise Linear One-Dimensional Map.	ISCAS	2007	DBLP DOI BibTeX RDF
12	Amparo Fúster-Sabater, Pino Caballero-Gil	Linearization of Stream Ciphers by Means of Concatenated Automata.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	Stream cipher, cellular automata, symmetric cryptography, concatenation
12	Slobodan Petrovic, Amparo Fúster-Sabater	Reconstruction of Suboptimal Paths in the Constrained Edit Distance Array with Application in Cryptanalysis.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	Constrained Edit distance, Dynamic Programming, Cryptanalysis, Directed Search, String Editing
12	Yaohang Li, Michael Mascagni, Andrey Gorin	Decentralized Replica Exchange Parallel Tempering: An Efficient Implementation of Parallel Tempering Using MPI and SPRNG.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	Parallel Tempering, Parallel Programming, Monte Carlo Methods
12	Amparo Fúster-Sabater, Pino Caballero-Gil, Maria Eugenia Pazo-Robles	Application of Linear Hybrid Cellular Automata to Stream Ciphers.	EUROCAST	2007	DBLP DOI BibTeX RDF
12	Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja	Model Based Test Generation for Microprocessor Architecture Validation.	VLSI Design	2007	DBLP DOI BibTeX RDF
12	Miao Jin, Feng Luo 0002, Shing-Tung Yau, Xianfeng Gu	Computing geodesic spectra of surfaces.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	Ricci flow, conformal structure, geodesic spectrum, uniformization, surface classification
12	Jan P. Springer, Stephan Beck 0001, Felix Weiszig, Dirk Reiners, Bernd Froehlich 0001	Multi-Frame Rate Rendering and Display.	VR	2007	DBLP DOI BibTeX RDF
12	Russell Impagliazzo, Ronen Shaltiel, Avi Wigderson	Reducing The Seed Length In The Nisan-Wigderson Generator.	Comb.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 68Q15
12	Alexander Gamburd, Igor Pak	Expansion Of Product Replacement Graphs.	Comb.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05C90, 20F99, 68R10
12	Shai Fine, Ari Freund 0001, Itai Jaeger, Yishay Mansour, Yehuda Naveh, Avi Ziv	Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	coverage directed generation, machine learning, Bayesian networks, Fourier transforms, Functional verification, coverage analysis
12	Allen I. Selverston, Joseph Ayers	Oscillations and oscillatory behavior in small neural circuits.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF
12	Xinwang Liu 0001	An Orness Measure for Quasi-Arithmetic Means.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
12	Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser	Testing Properties of Generic Functions.	IFL	2006	DBLP DOI BibTeX RDF
12	Sung-Chul Han, Franz Franchetti, Markus Püschel	Program generation for the all-pairs shortest path problem.	PACT	2006	DBLP DOI BibTeX RDF	Floyd-Warshall algorithm, SIMD vectorization, empirical search, tiling, blocking
12	Jan C. de Munck, Sonia I. Gonçalves, Petra J. W. Pouwels, Joost P. A. Kuijer, Rob M. Heethaar, Fernando Henrique Lopes da Silva	Signal processing aspects of simultaneously recorded EEG, PULSE and fMRI.	ISBI	2006	DBLP DOI BibTeX RDF
12	Giovanni Panti	The Automorphism Group of Falsum-Free Product Logic.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
12	Andrew M. W. Glass, Françoise Point	Finitely Presented Abelian Lattice-Ordered Groups.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
12	Eric M. Yeatman	Rotating and Gyroscopic MEMS Energy Scavenging.	BSN	2006	DBLP DOI BibTeX RDF
12	Ewen Denney, Bernd Fischer 0002	A generic annotation inference algorithm for the safety certification of automatically generated code.	GPCE	2006	DBLP DOI BibTeX RDF	hoare calculus, logical annotations, program verification, automated theorem proving, software certification, automated code generation
12	Candelaria Hernández-Goya, Amparo Fúster-Sabater	Deterministic Analysis of Balancedness in Symmetric Cryptography.	ISCIS	2006	DBLP DOI BibTeX RDF	bit-string algorithm, cryptography, Confidentiality, balancedness
12	Daming Xu, Longyun Kang, Binggang Cao	Graph-Based Ant System for Optimal Sizing of Standalone Hybrid Wind/PV Power Systems.	ICIC (2)	2006	DBLP DOI BibTeX RDF
12	Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu	Can Saturation Be Parallelised?	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
12	Shaoquan Jiang	Efficient Primitives from Exponentiation in Zp.	ACISP	2006	DBLP DOI BibTeX RDF
12	Maciej Borkowski, Juha Kostamovaara	On randomization of digital delta-sigma modulators with DC inputs.	ISCAS	2006	DBLP DOI BibTeX RDF
12	Yosihiro Yuse, Atsushi Igarashi	A modal type system for multi-level generating extensions with persistent code.	PPDP	2006	DBLP DOI BibTeX RDF	time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism
12	Viswanathan Kodaganallur, Rob R. Weitz, David Rosenthal	Tools for Building Intelligent Tutoring Systems.	HICSS	2006	DBLP DOI BibTeX RDF
12	Amparo Fúster-Sabater, Pino Caballero-Gil, Maria Eugenia Pazo-Robles	Modelling of Complex Cryptographic Systems in Terms of Simple Cellular Automata .	ICCSA (1)	2006	DBLP DOI BibTeX RDF	Linear cellular automata, nonlinear sequence generator, cryptography
12	Ewen Denney, Bernd Fischer 0002	Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).	ASE	2006	DBLP DOI BibTeX RDF
12	Yu Bi, Gregory D. Peterson, G. Lee Warren, Robert J. Harrison	Poster reception - A reconfigurable supercomputing library for accelerated parallel lagged-Fibonacci pseudorandom number generation.	SC	2006	DBLP DOI BibTeX RDF
12	Amparo Fúster-Sabater, Pino Caballero-Gil	Concatenated Automata in Cryptanalysis of Stream Ciphers.	ACRI	2006	DBLP DOI BibTeX RDF	cryptography, Stream cipher, cellular automata, linear model
12	Li Guo 0003, William Y. Sit	Enumeration of Rota-Baxter words.	ISSAC	2006	DBLP DOI BibTeX RDF	Rota-Baxter algebras, Rota-Baxter words, catalan numbers, compositions, generating functions
12	Hennie Poulisse	Computational communicative algebra.	ISSAC	2006	DBLP DOI BibTeX RDF	approximate commutative algebra
12	Ingo Stürmer, Mirko Conrad	Ein Testverfahren für optimierende Codegeneratoren.	Inform. Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	Model-based code generation, Simulink/Stateflow, Optimizations, Model-based development, Test suite
12	François Arnault, Thierry P. Berger	Design and Properties of a New Pseudorandom Generator Based on a Filtered FCSR Automaton.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	secret key cryptography, shift register, Pseudorandom generator, periodic sequences, 2-adic numbers
12	Ingo Stürmer, Daniela Weinberg, Mirko Conrad	Overview of existing safeguarding techniques for automatically generated code.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	modelling guidelines, testing, automatic code generation, model-based development
12	Ronen Shaltiel, Christopher Umans	Simple extractors for all min-entropies and a new pseudorandom generator.	J. ACM	2005	DBLP DOI BibTeX RDF	Hardness versus randomness, pseudorandom generator, randomness extractor
12	Josiah Munda, Sadao Asato, Hayao Miyagi	Fuzzy Logic Control in Hybrid Power Systems.	Computational Intelligence for Modelling and Prediction	2005	DBLP DOI BibTeX RDF
12	John M. Rushby	An Evidential Tool Bus.	ICFEM	2005	DBLP DOI BibTeX RDF
12	Juha-Pekka Tolvanen	Keynote Address II: Domain-Specific Modeling: No One Size Fits All.	MoDELS	2005	DBLP DOI BibTeX RDF
12	Douglas C. Schmidt, Andrey Nechypurenko, Egon Wuchner	Workshop 9 Summary.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
12	Kay C. Wiese, Andrew Hendriks, Alain Deschênes, Belgacem Ben Youssef	Significance of randomness in P-RnaPredict - a parallel evolutionary algorithm for RNA folding.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
12	Aaron R. Bradley, Zohar Manna	Termination and Invariance Analysis of Loops.	ATVA	2005	DBLP DOI BibTeX RDF
12	Matthew J. Duggan, John H. Drew, Lawrence M. Leemis	A test of randomness based on the distance between consecutive random number pairs.	WSC	2005	DBLP DOI BibTeX RDF
12	Shan Shan Huang, David Zook, Yannis Smaragdakis	Statically Safe Program Generation with SafeGen.	GPCE	2005	DBLP DOI BibTeX RDF
12	Michael Jung 0002, Ralf Laue 0002, Sorin A. Huss	A Case Study on Partial Evaluation in Embedded Software Design.	SEUS	2005	DBLP DOI BibTeX RDF
12	Yun-Pyo Hong, Hong-Yeop Song	Frequency/Time Hopping Sequences with Large Linear Complexities.	WCC	2005	DBLP DOI BibTeX RDF
12	Luciano Baresi, Piero Fraternali, Massimo Tisi, Sandro Morasca	Towards Model-Driven Testing of a Web Application Generator.	ICWE	2005	DBLP DOI BibTeX RDF
12	Xiaoming Li 0004, María Jesús Garzarán	Optimizing Matrix Multiplication with a Classifier Learning System.	LCPC	2005	DBLP DOI BibTeX RDF
12	Sébastien Donadio, James C. Brodman, Thomas Roeder, Kamen Yotov, Denis Barthou, Albert Cohen 0001, María Jesús Garzarán, David A. Padua, Keshav Pingali	A Language for the Compact Representation of Multiple Program Versions.	LCPC	2005	DBLP DOI BibTeX RDF
12	Somboon Nuchprayoon, Miroslav Begovic, Damir Novosel	Optimal Information Retrieval under Asymmetric Information in Constrained Power Markets.	HICSS	2005	DBLP DOI BibTeX RDF	electricity market, Information asymmetry
12	David Coppit, Jiexin Lian	yagg: an easy-to-use generator for structured test inputs.	ASE	2005	DBLP DOI BibTeX RDF	grammar-based input generation, bounded exhaustive testing
12	Ravi Jain, David Molnar, Zulfikar Ramzan	Towards understanding algorithmic factors affecting energy consumption: switching complexity, randomness, and preliminary experiments.	DIALM-POMC	2005	DBLP DOI BibTeX RDF	randomness cost, switching cost, energy measurement
12	Selma Matougui, Antoine Beugnard	How to Implement Software Connectors? A Reusable, Abstract and Adaptable Connector.	DAIS	2005	DBLP DOI BibTeX RDF
12	Ying Guo 0001, Jiaming Li 0001, Geoff James	Evolutionary Optimisation of Distributed Energy Resources.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
12	G. Alan Creak	Parsing by numbers and asparagus.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF
12	Sam Kamin	Invited application paper: program generation considered easy.	PEPM	2004	DBLP DOI BibTeX RDF	Java, run-time code generation
12	Mukesh Ranjan, Wim Verhaegen, Anuradha Agarwal, Hemanth Sampath, Ranga Vemuri, Georges G. E. Gielen	Fast, Layout-Inclusive Analog Circuit Synthesis using Pre-Compiled Parasitic-Aware Symbolic Performance Models.	DATE	2004	DBLP DOI BibTeX RDF
12	Vincent Bénony, François Recher, Eric Wegrzynowski, Caroline Fontaine	Cryptanalysis of a Particular Case of Klimov-Shamir Pseudo-Random Generator.	SETA	2004	DBLP DOI BibTeX RDF
12	Marc Born, Ina Schieferdecker, Olaf Kath, Chiaki Hirai	Combining System Development and System Test in a Model-Centric Approach.	RISE	2004	DBLP DOI BibTeX RDF
12	Sharad Jaiswal, Arnold L. Rosenberg, Donald F. Towsley	Comparing the Structure of Power-Law Graphs and the Internet AS Graph.	ICNP	2004	DBLP DOI BibTeX RDF	AS Graph, power-law graphs, Internet Topology
12	Julio César Hernández Castro, José María Sierra, André Seznec	The SAC Test: A New Randomness Test, with Some Applications to PRNG Analysis.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
12	Salvador Manich, L. García, Luz Balado, Emili Lupon, Josep Rius 0001, Rosa Rodríguez-Montañés, Joan Figueras	BIST Technique by Equally Spaced Test Vector Sequences.	VTS	2004	DBLP DOI BibTeX RDF
12	Eyal Rozenman, Aner Shalev, Avi Wigderson	A new family of Cayley expanders (?).	STOC	2004	DBLP DOI BibTeX RDF	zig-zag product, Cayley graphs, expanders
12	Christian Glaßer, Aduri Pavan, Alan L. Selman, Samik Sengupta	Properties of NP-Complete Sets.	CCC	2004	DBLP DOI BibTeX RDF
12	Mitrajit Chatterjee, Dhiraj K. Pradhan	A BIST Pattern Generator Design for Near-Perfect Fault Coverage.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	core logic, built-in self-test, synthesis, fault coverage, Linear feedback shift registers, test pattern generation, scan, SOC
12	André Seznec, Nicolas Sendrier	HAVEGE: A user-level software heuristic for generating empirically strong random numbers.	ACM Trans. Model. Comput. Simul.	2003	DBLP DOI BibTeX RDF	hardware clock counters, Cryptography, random number generation, superscalar processor
12	Tiaza Bem, Jean-Marie Cabelguen, Örjan Ekeberg, Sten Grillner	From swimming to walking: a single basic network for two different behaviors.	Biol. Cybern.	2003	DBLP DOI BibTeX RDF
12	Elizabeth I. Leonard, Constance L. Heitmeyer	Program Synthesis from Formal Requirements Specifications Using APTS.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	APTS, formal specifications, program transformation, code generation, requirements specifications, SCR, code synthesis
12	Samuel N. Kamin	Routine run-time code generation.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java, run-time code generation
12	Sam Kamin, Lars Clausen, Ava Jarvis	Jumbo: Run-Time Code Generation for Java and Its Applications.	CGO	2003	DBLP DOI BibTeX RDF	Java, run-time code generation
12	Sabine Glesner	Program Checking with Certificates: Separating Correctness-Critical Code.	FME	2003	DBLP DOI BibTeX RDF	safety-scalability, real-scale applications, verification, validation, certificates, correctness, program checking
12	Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt	Composable Code Generation for Model-Based Development.	SCOPES	2003	DBLP DOI BibTeX RDF
12	Pierre-Alain Fouque, Nick Howgrave-Graham, Gwenaëlle Martinet, Guillaume Poupard	The Insecurity of Esign in Practical Implementations.	ASIACRYPT	2003	DBLP DOI BibTeX RDF
12	Yunshan Zhu, James H. Kukula	Generator-based Verification.	ICCAD	2003	DBLP DOI BibTeX RDF
12	Amparo Fúster-Sabater, Dolores de la Guía-Martínez	Keystream Generator Analysis in Terms of Cellular Automata.	KES	2003	DBLP DOI BibTeX RDF	cryptography, cellular automata, shrinking generator