Search results for "LAS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Antonio R. W. Todesco, Teresa H.-Y. Meng	Symphony: A Simulation Backplane for Parallel Mixed-Mode Co-Simulation of VLSI Systems.	DAC	1996	DBLP DOI BibTeX RDF
28	Hiroyuki Higuchi, Yusuke Matsunaga	A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines.	DAC	1996	DBLP DOI BibTeX RDF
28	Mike Tien-Chien Lee, Yu-Chin Hsu, Ben Chen, Masahiro Fujita	Domain-Specific High-Level Modeling and Synthesis for ATM Switch Design Using VHDL.	DAC	1996	DBLP DOI BibTeX RDF
28	Richard L. Rudell	Tutorial: Design of a Logic Synthesis System.	DAC	1996	DBLP DOI BibTeX RDF
28	Clifford Liem, Pierre G. Paulin, Ahmed Amine Jerraya	Address Calculation for Retargetable Compilation and Exploration of Instruction-Set Architectures.	DAC	1996	DBLP DOI BibTeX RDF
28	Michael Theobald, Steven M. Nowick, Tao Wu	Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic.	DAC	1996	DBLP DOI BibTeX RDF
28	Bill Lin 0001	A System Design Methodology for Software/Hardware Co-Development of Telecommunication Network Applications.	DAC	1996	DBLP DOI BibTeX RDF
28	Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng, Tien-Chien Lee	Compact Vector Generation for Accurate Power Simulation.	DAC	1996	DBLP DOI BibTeX RDF
28	Peter R. Sutton, Stephen W. Director	A Description Language for Design Process Management.	DAC	1996	DBLP DOI BibTeX RDF
28	Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha	Verification of Electronic Systems.	DAC	1996	DBLP DOI BibTeX RDF
28	Bulent Basaran, Rob A. Rutenbar	An O(n) Algorithm for Transistor Stacking with Performance Constraints.	DAC	1996	DBLP DOI BibTeX RDF
28	Vojin Zivojnovic, Heinrich Meyr	Compiled HW/SW Co-Simulation.	DAC	1996	DBLP DOI BibTeX RDF
28	Eric Verlind, Gjalt G. de Jong, Bill Lin 0001	Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems.	DAC	1996	DBLP DOI BibTeX RDF
28	Madhav P. Desai, Yao-Tsung Yen	A Systematic Technique for Verifying Critical Path Delays in a 300MHz Alpha CPU Design Using Circuit Simulation.	DAC	1996	DBLP DOI BibTeX RDF
28	Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant	Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation.	DAC	1996	DBLP DOI BibTeX RDF
28	Idalina Videira, Paulo Veríssimo, Helena Sarmento	Efficient Communication in a Design Environment.	DAC	1996	DBLP DOI BibTeX RDF
28	Kevin J. Kerns, Andrew T. Yang	Stable and Efficient Reduction of Large, Multiport RC Networks by Pole Analysis via Congruence Transformations.	DAC	1996	DBLP DOI BibTeX RDF
28	Aurobindo Dasgupta, Ramesh Karri	Hot-Carrier Reliability Enhancement via Input Reordering and Transistor Sizing.	DAC	1996	DBLP DOI BibTeX RDF
28	Peter Dahlgren	Oscillation Control in Logic Simulation using Dynamic Dominance Grahps.	DAC	1996	DBLP DOI BibTeX RDF
28	Kumar N. Lalgudi, Marios C. Papaefthymiou, Miodrag Potkonjak	Optimizing Systems for Effective Block-Processing: The k-Delay Problem.	DAC	1996	DBLP DOI BibTeX RDF
28	Jay K. Adams, Donald E. Thomas	The Design of Mixed Hardware/Software Systems.	DAC	1996	DBLP DOI BibTeX RDF
28	John Lillis, Chung-Kuan Cheng, Ting-Ting Y. Lin, Chin-Yen Ho	New Performance Driven Routing Techniques With Explicit Area/Delay Tradeoff and Simultaneous Wire Sizing.	DAC	1996	DBLP DOI BibTeX RDF
28	Nguyen-Ngoc Bình, Masaharu Imai, Akichika Shiomi, Nobuyuki Hikichi	A Hardware/Software Partitioning Algorithm for Designing Pipelined ASIPs with Least Gate Counts.	DAC	1996	DBLP DOI BibTeX RDF
28	Kenneth D. Wagner, Sujit Dey	High-Level Synthesis for Testability: A Survey and Perspective.	DAC	1996	DBLP DOI BibTeX RDF
28	Xiangfeng Chen, Peichen Pan, C. L. Liu 0001	Desensitization for Power Reduction in Sequential Circuits.	DAC	1996	DBLP DOI BibTeX RDF
28	Christian Legl, Bernd Wurth, Klaus Eckl	A Boolean Approach to Performance-Directed Technology Mapping for LUT-Based FPGA Designs.	DAC	1996	DBLP DOI BibTeX RDF
28	Chi-Ying Tsui, Radu Marculescu, Diana Marculescu, Massoud Pedram	Improving the Efficiency of Power Simulators by Input Vector Compaction.	DAC	1996	DBLP DOI BibTeX RDF
28	Bernard N. Sheehan	An AWE Technique for Fast Printed Circuit Board Delays.	DAC	1996	DBLP DOI BibTeX RDF
28	Andrew B. Kahng, Sudhakar Muddu	Analysis of RC Interconnections Under Ramp Input.	DAC	1996	DBLP DOI BibTeX RDF
28	Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev	Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis.	DAC	1996	DBLP DOI BibTeX RDF
28	Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng	Error Correction Based on Verification Techniques.	DAC	1996	DBLP DOI BibTeX RDF
28	Madhav P. Desai, Radenko Cvijetic, James Jensen	Sizing of Clock Distribution Networks for High Performance CPU Chips.	DAC	1996	DBLP DOI BibTeX RDF
28	Chuck Monahan, Forrest Brewer	Concurrent Analysis Techniques for Data Path Timing Optimization.	DAC	1996	DBLP DOI BibTeX RDF
28	Jerry R. Burch	Techniques for Verifying Superscalar Microprocessors.	DAC	1996	DBLP DOI BibTeX RDF
28	Chih-Chang Lin, Malgorzata Marek-Sadowska, Kwang-Ting Cheng, Mike Tien-Chien Lee	Test Point Insertion: Scan Paths through Combinational Logic.	DAC	1996	DBLP DOI BibTeX RDF
28	Florentin Dartu, Bogdan Tutuianu, Lawrence T. Pileggi	RC-Interconnect Macromodels for Timing Simulation.	DAC	1996	DBLP DOI BibTeX RDF
28	Guido Araujo, Sharad Malik, Mike Tien-Chien Lee	Using Register-Transfer Paths in Code Generation for Heterogeneous Memory-Register Architectures.	DAC	1996	DBLP DOI BibTeX RDF
28	Chih-Ang Chen, Sandeep K. Gupta 0001	A Satisfiability-Based Test Generator for Path Delay Faults in Combinational Circuts.	DAC	1996	DBLP DOI BibTeX RDF
28	Felice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli	Formal Verification of Embedded Systems based on CFSM Networks.	DAC	1996	DBLP DOI BibTeX RDF
28	Irith Pomeranz, Sudhakar M. Reddy	On Static Compaction of Test Sequences for Synchronous Sequential Circuits.	DAC	1996	DBLP DOI BibTeX RDF
28	Jaewon Oh, Iksoo Pyo, Massoud Pedram	Constructing Lower and Upper Bounded Delay Routing Trees Using Linear Programming.	DAC	1996	DBLP DOI BibTeX RDF
28	Soha Hassoun, Carl Ebeling	Architectural Retiming: Pipelining Latency-Constrained Circuts.	DAC	1996	DBLP DOI BibTeX RDF
28	Anand Raghunathan, Sujit Dey, Niraj K. Jha	Glitch Analysis and Reduction in Register Transfer Level.	DAC	1996	DBLP DOI BibTeX RDF
28	Rajesh K. Gupta 0001	Analysis of Operation Delay and Execution Rate Constraints for Embedded Systems.	DAC	1996	DBLP DOI BibTeX RDF
28	Jaijeet S. Roychowdhury, Robert C. Melville	Homotopy Techniques for Obtaining a DC Solution of Large-Scale MOS Circuits.	DAC	1996	DBLP DOI BibTeX RDF
28	Raul Camposano	Behavioral Synthesis.	DAC	1996	DBLP DOI BibTeX RDF
27	Yi Sun 0005	Quasi-large sparse-sequence CDMA: Approach to single-user bound by linearly-complex LAS detectors.	CISS	2008	DBLP DOI BibTeX RDF
27	Atif Bin Mansoor, Mustafa Mumtaz, Hassan Masood, M. Asif Afzal Butt, Shoab A. Khan	Personal Identification Using Palmprint and Contourlet Transform.	ISVC (2)	2008	DBLP DOI BibTeX RDF
27	Michael Luby, Wolfgang Ertel	Optimal Parallelization of Las Vegas Algorithms.	STACS	1994	DBLP DOI BibTeX RDF
26	Rodrigo Sandoval-Almazán, Miguel Angel Castañeda	Gobierno electrónico en los municipios: el caso de Toluca.	DG.O	2010	DBLP BibTeX RDF	online payment, e-government, e-services, municipalities
26	Rodrigo Sandoval-Almazán, Jeanett Mendoza Colín	Nueva economía y gobierno electrónico en México: un estudio preliminar.	DG.O	2010	DBLP BibTeX RDF	TICs y economía, economía digital, gobernanza de internet, gobierno electrónico, historia económica, nueva economía, e-government
26	Tomasz Jurdzinski	Probabilistic Length-Reducing Two-Pushdown Automata.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF
26	Anne Lejeune, Muriel Ney, Armin Weinberger, Margus Pedaste, Lars Bollen, Tasos Hovardas, Ulrich Hoppe, Ton de Jong	A Graphical Modeling Language for Computer-Based Learning Scenarios.	ICALT	2009	DBLP DOI BibTeX RDF
26	Pedro J. Trujillo Tarazona	Field evaluation of a protocol for data transmission through the distribution lines of the low voltage grid.	EATIS	2007	DBLP DOI BibTeX RDF	PowerBus, automatic meter reading, power line carrier, embedded system, PLC, AMR
26	Janice C. Sipior, Diane Lending, Donald L. Amoroso, Conrad Shayo, Susan A. Vowels	From the chair.	Data Base	2005	DBLP DOI BibTeX RDF
26	Martin Fürer	An Improved Communication-Randomness Tradeo.	LATIN	2004	DBLP DOI BibTeX RDF
26	Erdal Cayirci, Ian F. Akyildiz	Optimal Location Area Design to Minimize Registration Signaling Traffic in Wireless Systems.	IEEE Trans. Mob. Comput.	2003	DBLP DOI BibTeX RDF	Location area design, traffic-based location area design, cellular wireless systems, registration, paging, location update
26	Leonid Titkov, Stefan Poslad	Privacy conscious brokering in personalised location-aware applications.	AAMAS	2003	DBLP DOI BibTeX RDF
26	Spyros C. Kontogiannis, Grammati E. Pantziou, Paul G. Spirakis, Moti Yung	Robust Parallel Computations through Randomization.	Theory Comput. Syst.	2000	DBLP DOI BibTeX RDF
26	Sanjoy K. Sen, Amiya Bhattacharya, Sajal K. Das 0001	A selective location update strategy for PCS users.	Wirel. Networks	1999	DBLP DOI BibTeX RDF
26	Christoph Karg, Johannes Köbler, Rainer Schuler	The Complexity of Generating Test Instances.	STACS	1997	DBLP DOI BibTeX RDF
26	Marek Karpinski, Rutger Verbeek	On Randomized Versus Deterministic Computation.	ICALP	1993	DBLP DOI BibTeX RDF
26	Rudolf Fleischer, Hermann Jung 0001, Kurt Mehlhorn	A Time-Randomness Tradeoff for Communication Complexity.	WDAG	1990	DBLP DOI BibTeX RDF
26	Kenneth L. Clarkson	Applications of Random Sampling in Computational Geometry, II.	SCG	1988	DBLP DOI BibTeX RDF
23	Vicente Bayarri, Alfredo Prada, Francisco García, Carmen De Las Heras, Pilar Fatás	A Multisensory Analysis of the Moisture Course of the Cave of Altamira (Spain): Implications for Its Conservation.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
23	Guillermo Álvarez Narciandi, Jaime Laviada, Fernando Las-Heras	Short-Time Coherent-Incoherent Synthetic Aperture Radar Processing for a Handheld Imaging System.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
23	Ana Arboleya, Jaime Laviada, Yuri Álvarez López, Guillermo Álvarez Narciandi, Fernando Las-Heras, Cyril Luxey, Diane Titz, Aimeric Bisognin	Freehand System for Probe-Fed Antenna Diagnostics by Means of Amplitude-Only Acquisitions.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
23	Maria Garcia-Fernandez, Guillermo Álvarez Narciandi, Fernando Las-Heras, Yuri Álvarez López	Comparison of Scanning Strategies in UAV-Mounted Multichannel GPR-SAR Systems Using Antenna Arrays.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
23	Albert Q. Jiang, Alexandre Sablayrolles, Antoine Roux, Arthur Mensch, Blanche Savary, Chris Bamford 0001, Devendra Singh Chaplot, Diego de Las Casas, Emma Bou Hanna, Florian Bressand, Gianna Lengyel, Guillaume Bour, Guillaume Lample, Lélio Renard Lavaud, Lucile Saulnier, Marie-Anne Lachaux, Pierre Stock, Sandeep Subramanian, Sophia Yang, Szymon Antoniak, Teven Le Scao, Théophile Gervet, Thibaut Lavril, Thomas Wang, Timothée Lacroix, William El Sayed	Mixtral of Experts.	CoRR	2024	DBLP DOI BibTeX RDF
23	Devjeet Roy, Xuchao Zhang, Rashi Bhave, Chetan Bansal, Pedro Henrique B. Las-Casas, Rodrigo Fonseca, Saravan Rajmohan	Exploring LLM-based Agents for Root Cause Analysis.	CoRR	2024	DBLP DOI BibTeX RDF
23	María Elena de Cos Gómez, Humberto Fernández Álvarez, Fernando Las-Heras Andrés	PP-based 24 GHz wearable antenna.	Wirel. Networks	2024	DBLP DOI BibTeX RDF
23	Juan Antonio Valera-Calero, Darío López-Zanoni, Sandra Sánchez-Jorge, César Fernández-de-las-Peñas, Marcos José Navarro-Santana, Sofía Olivia Calvo-Moreno, Gustavo Plaza-Manzano	A novel mobile phone and tablet application for automatized calculation of pain extent.	Comput. Biol. Medicine	2024	DBLP DOI BibTeX RDF
23	Umut Varol, Juan Antonio Valera-Calero, Elena Sánchez-Jiménez, César Fernández-de-las-Peñas, Ricardo Ortega-Santiago, Mateusz D. Kobylarz, Marcos José Navarro-Santana	Levator Scapulae Stiffness Measurement Reliability in Individuals with and without Chronic Neck Pain by Experienced and Novel Examiners.	Sensors	2024	DBLP DOI BibTeX RDF
23	Mark D. Tomenes, Ma. Louise Antonette De Las Penas	Construction of Tilings with Transitivity Properties on the Square Grid.	DGMM	2024	DBLP DOI BibTeX RDF
23	Vicente Bayarri, Alfredo Prada, Francisco García, Lucía M. Díaz-González, Carmen De Las Heras, Elena Castillo, Pilar Fatás	Integration of Remote-Sensing Techniques for the Preventive Conservation of Paleolithic Cave Art in the Karst of the Altamira Cave.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
23	Marinko Skare, María de las Mercedes de Obesso, Samuel Ribeiro-Navarrete	Digital transformation and European small and medium enterprises (SMEs): A comparative study using digital economy and society index data.	Int. J. Inf. Manag.	2023	DBLP DOI BibTeX RDF
23	Alicia Flórez Berdasco, Jaime Laviada, María Elena de Cos Gómez, Fernando Las-Heras	Performance Evaluation of Millimeter-Wave Wearable Antennas for Electronic Travel Aid.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
23	Yuri Álvarez López, Jaime Laviada, Ana Arboleya, Fernando Las-Heras	A Backpropagation Imaging Technique for Subsampled Synthetic Apertures.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
23	Carmen Jambrino-Maldonado, Patricia P. Iglesias-Sánchez, Carlos De Las Heras-Pedrosa, Fernando Olivares-Delgado, María T. Benlloch-Osuna	Femvertising and COVID-19 - What Did Brand Owners Broadcast during the Lockdown?	Syst.	2023	DBLP DOI BibTeX RDF
23	Dolores Rando-Cueto, Carlos De Las Heras-Pedrosa, Francisco Javier Paniagua-Rojano	Health Communication Strategies via TikTok for the Prevention of Eating Disorders.	Syst.	2023	DBLP DOI BibTeX RDF
23	Maria Garcia-Fernandez, Guillermo Álvarez Narciandi, Yuri Álvarez López, Fernando Las-Heras	Array-Based Ground Penetrating Synthetic Aperture Radar on Board an Unmanned Aerial Vehicle for Enhanced Buried Threats Detection.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
23	Alina de las Mercedes Martínez Sánchez, Abdullah Karaksha	Nursing student's attitudes toward e-learning: a quantitative approach.	Educ. Inf. Technol.	2023	DBLP DOI BibTeX RDF
23	Diego Rodríguez-Gracia, María de las Mercedes Capobianco-Uriarte, Eduardo Terán-Yépez, José Antonio Piedra-Fernández, Luis Iribarne, Rosa Ayala	Review of artificial intelligence techniques in green/smart buildings.	Sustain. Comput. Informatics Syst.	2023	DBLP DOI BibTeX RDF
23	Carlos De Las Morenas Mateos, Rafael Lahoz-Beltra	Application of Graph Theory and Automata Modeling for the Study of the Evolution of Metabolic Pathways with Glycolysis and Krebs Cycle as Case Studies.	Comput.	2023	DBLP DOI BibTeX RDF
23	Olivier Las Vergnas	Do androids dream of fictional references? A bibliographic dialogue with ChatGPT3.5.	CoRR	2023	DBLP DOI BibTeX RDF
23	Mercè Claverol, Andrea de las Heras Parrilla, David Flores-Peñaloza, Clemens Huemer, David Orden	On polynomials associated to Voronoi diagrams of point sets and crossing numbers.	CoRR	2023	DBLP DOI BibTeX RDF
23	Pedro Maristany de las Casas, Antonio Sedeño-Noda, Ralf Borndörfer, Max Huneshagen	K-Shortest Simple Paths Using Biobjective Path Search.	CoRR	2023	DBLP DOI BibTeX RDF
23	E. Delgado de las Heras, Francisco Jesús Martínez-Murcia, Ignacio A. Illán, Carmen Jiménez-Mesa, Diego Castillo-Barnes, Javier Ramírez 0001, Juan Manuel Górriz	Revealing Patterns of Symptomatology in Parkinson's Disease: A Latent Space Analysis with 3D Convolutional Autoencoders.	CoRR	2023	DBLP DOI BibTeX RDF
23	Albert Q. Jiang, Alexandre Sablayrolles, Arthur Mensch, Chris Bamford 0001, Devendra Singh Chaplot, Diego de Las Casas, Florian Bressand, Gianna Lengyel, Guillaume Lample, Lucile Saulnier, Lélio Renard Lavaud, Marie-Anne Lachaux, Pierre Stock, Teven Le Scao, Thibaut Lavril, Thomas Wang, Timothée Lacroix, William El Sayed	Mistral 7B.	CoRR	2023	DBLP DOI BibTeX RDF
23	Pedro Maristany de las Casas, Antonio Sedeño-Noda, Ralf Borndörfer	New Dynamic Programming Algorithm for the Multiobjective Minimum Spanning Tree Problem.	CoRR	2023	DBLP DOI BibTeX RDF
23	Ricardo Euler, Pedro Maristany de las Casas	Labeling Methods for Partially Ordered Paths.	CoRR	2023	DBLP DOI BibTeX RDF
23	Dylan Zhang, Xuchao Zhang, Chetan Bansal, Pedro Henrique B. Las-Casas, Rodrigo Fonseca, Saravan Rajmohan	PACE-LM: Prompting and Augmentation for Calibrated Confidence Estimation with GPT-4 in Cloud Incident Root Cause Analysis.	CoRR	2023	DBLP DOI BibTeX RDF
23	J. A. Guerrero-Vargas, L. Carvalho Trojan, Estevam Barbosa de Las Casas, Diego Alexander Garzón-Alvarado	Finite element analysis of the influence of interdigitation pattern and collagen fibers on the mechanical behavior of the midpalatal suture.	Medical Biol. Eng. Comput.	2023	DBLP DOI BibTeX RDF
23	Pere Lluís Gilabert, Jose-Ramon Perez-Cisneros, Zhixiong Ren, Gabriel Montoro, María de Las Nieves Ruiz Lavín, Jose A. García 0002	Digital Predistortion Linearization of a GaN HEMT Push-Pull Power Amplifier for Cable Applications With High Fractional Bandwidth.	IEEE Trans. Broadcast.	2023	DBLP DOI BibTeX RDF
23	Javier de las Morenas, Francisco Moya Fernandez, Julio Alberto López-Gómez	The Edge Application of Machine Learning Techniques for Fault Diagnosis in Electrical Machines.	Sensors	2023	DBLP DOI BibTeX RDF
23	Umut Varol, Marcos José Navarro-Santana, Juan Antonio Valera-Calero, Sergio Antón-Ramírez, Javier Álvaro-Martínez, María José Díaz-Arribas, César Fernández-de-las-Peñas, Gustavo Plaza-Manzano	Convergent Validity between Electromyographic Muscle Activity, Ultrasound Muscle Thickness and Dynamometric Force Measurement for Assessing Muscle.	Sensors	2023	DBLP DOI BibTeX RDF
23	Yuri Álvarez López, Fernando Las-Heras Andrés	Improved Methods for Fourier-Based Microwave Imaging.	Sensors	2023	DBLP DOI BibTeX RDF
23	Pedro Maristany de las Casas, Luitgard Kraus, Antonio Sedeño-Noda, Ralf Borndörfer	Targeted multiobjective Dijkstra algorithm.	Networks	2023	DBLP DOI BibTeX RDF
23	Yuri Alvarez Lopez, Fernando Las-Heras Andrés	Fourier-based microwave imaging with antenna pattern compensation.		2023	DOI RDF
23	Mariano Mendez Suarez, María de las Mercedes de Obesso, Oliver Carrero Márquez, Cristina Marin Palacios	Replication data for the fsQCA model in: "Why do companies employ prohibited unethical artificial intelligence practices?".		2023	DOI RDF